Intuitionistic logic, model theory and forcing /
Hlavní autor: |
Fitting, Melvin, 1942-
(
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: | |