Cover Image

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
Description
Summary:Provability, Computability and Reflection.
Physical Description:1 online resource (x, 208 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9780720422580
0720422582
1283525399
9781283525398
9786613837844
6613837849
0080954758
9780080954752