Welcome to E-Books Directory
This is a freely downloadable e-book.

Model-Theoretic Logics

Model-Theoretic Logics
by J. Barwise, S. Feferman

Publisher: Springer 1985
ISBN/ASIN: 0387909362
ISBN-13: 9780387909363
Number of pages: 893

Description:
The subject matter of this book constitutes a merging of several directions of work in general model theory over the last 25 years. Three main lines can be distinguished: first, that initiated by Andrzej Mostowski on cardinality quantifiers; second, the work of Alfred Tarski, his colleagues and students on infinitary languages; and, finally, that stemming from the results of Per Lindstrom on generalized quantifiers and abstract characterizations of first-order logic.

Home page url

 Download or read it online here:

Download link

 (multiple PDF files)