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 ...
|Keywords||Logic, Symbolic and mathematical Model theory|
|Categories||categorize this paper)|
|Buy the book||$37.19 used (38% off) $38.48 new (36% off) $42.90 direct from Amazon (29% off) Amazon page|
|Call number||QA9.P68 2011|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity.Shawn Hedman - 2004 - 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.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym - 2004 - Oxford University Press.
Some Philosophical Aspects of Abstract Model Theory.Dag Westerståhl - 1976 - Dissertation, University of Gothenburg
Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
Some Results in the Theory of Models of First Order Languages.Per Lindström - 1966 - Göteborg.
Logic: From Foundation to Applications: European Logic Colloquium.Wilfrid Hodges (ed.) - 1996 - Oxford University Press.
Added to index2011-11-25
Total downloads41 ( #125,499 of 2,163,616 )
Recent downloads (6 months)1 ( #348,040 of 2,163,616 )
How can I increase my downloads?