Online Library TheLib.net » Тема, жанр, tags: Intuitionistic logic continuum principle of excluded middle