Intuitionistic logic, model theory and forcing

Opis bibliograficzny
1. autor: Fitting, Melvin Chris, 1942-
Format: Książka
Język:English
Wydane: Amsterdam North-Holland Pub. Co. 1969.
Seria:Studies in logic and the foundation of mathematics.
Hasła przedmiotowe: