Intuitionistic logic, model theory and forcing /

• Main Author: Fitting, Melvin 1942- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : North-Holland, 1969.
• Series: Studies in logic and the foundations of mathematics
• Subjects: Μαθηματικά μοντέλα