18 pages matching transfinite induction in this book
Results 1-3 of 18
What people are saying - Write a review
The Nature of Mathematical Logic
Theorems in FirstOrder Theories
8 other sections not shown
Mathematical logic - Wikipedia, the free encyclopedia
Mathematical logic is a subfield of logic and mathematics.  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). ...
www.mathematik.tu-darmstadt.de/ ~kohlenbach/ GKSmlq.pdf
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
Joseph R. Shoenfield, Mathematical Logic. Full-text: Access via JSTOR (no additional login). Go to this article in JSTOR. Links and Identifiers ...
projecteuclid.org/ handle/ euclid.bsl/ 1182353802