Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /

• Main Author: Keisler, H. Jerome (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : North - Holland, 1971.
• Series: Studies in logic and the foundations of mathematics 62.
• Subjects: Λογική, Συμβολική και μαθηματική; Μαθηματικά μοντέλα