Mathematical logic

Addison-Wesley Pub. Co., 1967 - Mathematics - 344 pages

What people are saying -Write a review

Review: Mathematical Logic

User Review  - Stefko - Goodreads

This is one of the standard graduate-level texts in mathematical logic. It is amazing how the author covers such a wide variety of topic in less than 400 pages. I find the chapter on set theory the ... Read full review

Contents

 The Nature of Mathematical Logic 1 FirstOrder Theories 9
 Theorems in FirstOrder Theories 26 Copyright

8 other sections not shown

References from web pages

Mathematical logic - Wikipedia, the free encyclopedia
Mathematical logic is a subfield of logic and mathematics. [1] It consists both of the mathematical study of logic and the application of this study to ...
en.wikipedia.org/ wiki/ Mathematical_logic

03: Mathematical logic and foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory
www.math.niu.edu/ ~rusin/ known-math/ index/ 03-XX.html

JSTOR: A Course in Mathematical Logic
This book represents the contents of the M.Sc. course in mathematical logic and foundations of mathematics which the two authors teach at London Univer- ...

Mathematical Logic Quarterly Shoenfield is Godel after Krivine
Mathematical Logic. Quarterly. c WILEY-VCH Verlag Berlin gmbh 2001 ..... [Sh67] J. Shoenfield Mathematical Logic. Addison-Wesley Publishing Co. (1967). ...

LPSG Mathematical Logic
Mathematical logic is about general properties of these formalizations. More specifically, it is about deduction and consistency, about models, ...
www.ucl.ac.uk/ philosophy/ LPSG/ MathLogic.htm

"Mathematical Logic" by Joseph R. Shoenfield
"Mathematical Logic" by Joseph R. Shoenfield Science Book Reviews.

Syllabuses for msc in Logic 2002-03, Department of Mathematics ...
These are some of the questions which motivate the study of mathematical logic. Predicate logic provides remarkable insight into these questions by ...
www.maths.manchester.ac.uk/ DeptWeb/ MScCourses/ Logic/ Syllabus/ Syllabus.html

Department of Mathematics, University of Illinois at Urbana-Champaign
Mathematical logic became, mostly within the 20th century, the mathematical study ... The starting point, and a distinctive feature of mathematical logic, ...
www.math.uiuc.edu/ ResearchAreas/ logic/ courses.html

Springer Online Reference Works
Thus the formation of mathematical logic as an independent mathematical discipline is ... The objective and fundamental branches of mathematical logic; ...
eom.springer.de/ m/ m062660.htm

Review: Joseph R. Shoenfield, Mathematical Logic