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

Provability, Computability and Reflection.

Bibliographic Details

Main Author:	Keisler, H. Jerome
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam : North-Holland Pub. Co., 1971.
Series:	Studies in logic and the foundations of mathematics ; v. 62.
Subjects:	Infinitary languages. Model theory. Langages infinitaires. Théorie des modèles. Infinitary languages Model theory Lògica matemàtica > Ensenyament. Modèles, Théorie des. Logique symbolique et mathématique. Infinitary logic > Model theory Electronic books.
Online Access:	Connect to the full text of this electronic book