Model Theory for Infinitary Logic: Logic with Countable...

Main
Mathematics - Logic
Model Theory for Infinitary Logic:...

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

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

H. Jerome Keisler

0 / 0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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.

Κατηγορίες:

Mathematics - Logic

Έτος:

1971

Εκδότης:

North-Holland Publishing

Γλώσσα:

english

Σελίδες:

202

ISBN 10:

0720422582