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

Provability, Computability and Reflection

Bibliographic Details
Main Author: Keisler, H. Jerome
Format: eBook
Language:English
Published: Amsterdam North-Holland Pub. Co. 1971, 1971
Series:Studies in logic and the foundations of mathematics
Subjects:
Online Access:
Collection: Elsevier eBook collection Mathematics - Collection details see MPG.ReNa
Description
Summary:Provability, Computability and Reflection
Item Description: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
Physical Description:x, 208 pages
ISBN:6613837849
9786613837844
0720422582
1283525399
9780720422580
9781283525398
0080954758