Intuitionistic logic, model theory and forcing /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Amsterdam : North-Holland Pub. Co., 1969.
Edice: Studies in logic and the foundations of mathematics
Předmět: