Intuitionistic logic, model theory and forcing / Melvin Chris Fitting.
Series Studies in logic and the foundations of mathematicsEditor: Amsterdam : North-Holland, 1969Descripción: 191 p. ; 23 cmISBN: 0720422566Otra clasificación: 03C25 (03B20 03F55)Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 F547 (Browse shelf) | Available | A-4088 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 Es78f-2 Essays on the foundations of mathematics : | 03 F295 The number systems : | 03 F544 Symbolic logic : | 03 F547 Intuitionistic logic, model theory and forcing / | 03 F677 A general algebraic semantics for deductive systems / | 03 F799 Abstract set theory / | 03 F799f Foundations of set theory / |
"With the exception of a few minor corrections and changes, this work duplicates the author's Doctoral Dissertation, written at the Belfer Graduate School of Science, Yeshiva University, and submitted June 1968."
Bibliografía: p. [188]-189.
MR, 41 #6666
There are no comments on this title.