Introduction to Mathematical Logic

New Jersey: World Scientific (2012)
  Copy   BIBTEX


A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and completeness -- Why is first order logic "First Order"?



    Upload a copy of this work     Papers currently archived: 77,712

External links

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

Through your library

Similar books and articles

The Elements of Mathematical Logic.Paul Charles Rosenbloom - 1950 - New York, NY, USA: New York]Dover Publications.
Mathematical Logic.Willard Van Orman Quine - 1940 - Cambridge: Harvard University Press.
What is Mathematical Logic?John Newsome Crossley (ed.) - 1972 - London and New York: Dover Publications.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Symbolic Logic.John Venn - 1881 - New York: B. Franklin.
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..


Added to PP

104 (#124,225)

6 months
2 (#323,506)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Remarks on Logic and Critical Thinking.Mudasir Ahmad Tantray - 2021 - Bilaspur, Chhattisgarh 495001, India: Rudra Publications.

Add more citations

References found in this work

No references found.

Add more references