Mathematical logic and model theory: a brief introduction

New York: Springer. Edited by Charles N. Delzell (2011)
  Copy   BIBTEX

Abstract

Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic ...

Categories

Keywords

Reprint years

Call number

QA9.P68 2011

ISBN(s)

9781447121756
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
Course of mathematical logic.Roland Fraïssé - 1973 - Dordrecht,: Reidel.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Some philosophical aspects of abstract model theory.Dag Westerståhl - 1976 - Gothenburg: Institutionen för filosofi, Göteborgs universitet.
A concise introduction to mathematical logic.Wolfgang Rautenberg - 2006 - New York, NY: Springer.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
Some results in the theory of models of first order languages.Per Lindström - 1966 - Göteborg,: Göteborg.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
Ideal objects as models in science.Władysław Krajewski - 1997 - International Studies in the Philosophy of Science 11 (2):185-190.

Analytics

Added to PP
2011-11-25

Downloads
58 (#270,773)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references