1. Home
  2. E-Book
  3. Model-Theoretic Logics

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

Model-Theoretic Logics

Model-Theoretic Logics by J. Barwise, S. Feferman
Model-Theoretic Logics by J. Barwise, S. Feferman
Publisher: Springer 1985
ISBN/ASIN: 0387909362
ISBN-13: 9780387909363
Number of pages: 893
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.
Mathematics Pure Mathematics Logic Model Theory
Go To Read/Download Page
Home Page

More Free E-Books For Logic

Similar Books For Logic

1. Hack, Hack, Who's There? A Gentle Introduction to Model Theory by David Reid
2. Modal Logic of Strict Necessity and Possibility by Evgeni Latinov
3. Sets, Groups and Knots by Curtis T. McMullen
4. Descriptive Set Theory by David Marker
5. Handbook of Modal Logic by Patrick Blackburn, Johan van Benthem, Frank Wolter
6. Axiomatic Set Theory by Michael Meyling
7. Axiomatic Set Theory I by A. C. Walczak-Typke
8. Coalgebras and Modal Logic by Alexander Kurz
9. Basic Concepts in Modal Logic by Edward N. Zalta
10. Introduction to Proof Theory by Gilles Dowek
11. Algebraic Tools for Modal Logic by Mai Gehrke, Yde Venema
12. Metalogic by Jan Wolenski
13. Isabelle/HOL: A Proof Assistant for Higher-Order Logic by T. Nipkow, L.C. Paulson, M. Wenzel
14. Notes on Set Theory by Michael Makkai
15. Proof, Sets, and Logic by M. Randall Holmes
16. Elementary Set Theory with a Universal Set by Randall Holmes
17. Set Theory by Gary Hardegree
18. Abstract Set Theory by Thoralf A. Skolem
19. Introduction to Modal Logic by Gary Hardegree
20. Model-Theoretic Logics by J. Barwise, S. Feferman
21. An Introduction to Good Old Fashioned Model Theory by Harold Simmons
22. Proof Theory and Philosophy by Greg Restall
23. Model Theory by C. Ward Henson
24. The Continuum and Other Types of Serial Order by Edward V. Huntington
25. Logic and Proof by Lawrence C Paulson
26. Proofs and Types by J. Girard, Y. Lafont, P. Taylor
27. Descriptive Set Theory by Yiannis N. Moschovakis
28. An Introduction to Set Theory by William A. R. Weiss
29. Fundamentals of Model Theory by William Weiss, Cherie D'Mello
30. Mathematics of Modality by Robert Goldblatt
31. Logic for Computer Science by Jean H. Gallier
32. Language, Proof and Logic by Jon Barwise, John Etchemendy
33. Model Theory, Algebra and Geometry by D. Haskell, A. Pillay, C. Steinhorn
34. Sets, Relations, Functions by Ivo Düntsch, Günther Gediga

Free E-Books For Mathematics
Free E-Books For Pure Mathematics
Free E-Books For Logic
Free E-Books For Model Theory



Categories