Intuitionistic logic model theory and forcing /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Amsterdam ; London : North Holland, 1969.
Edice: Studies in Logic and the Foundations of Mathematics
Předmět:
Externí odkaz: Obsah knihy