ENGLISH

Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers

By H. Jerome Keisler

Book information

Publisher
North-Holland Pub. Co
Year
1971
ISBN
0720422582, 9780720422580
LCC
QA9 .K33
Language
english
Format
DJVU
Filesize
980 kB (1004014 bytes)
Series
Studies in Logic and the Foundations of Mathematics 62
Pages
202\202
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2009-07-20 03:45:11

Description

This book grew out of a Survey Lecture given to the Association for Symbolic Logic meeting in January 1969 and is based on a course at the University of Wisconsin in the spring of 1969. It is planned both as a textbook for an advanced graduate course and as a reference for research work in mathematical logic. We have written for the reader who already has a thorough knowledge of ‘classical’ model theory, that is, model theory for the usual first order predicate logic. The necessary background is given in the book MODEL THEORY by C. C. Chang and H. J. Keisler.

Similar books