Introduction to mathematical logic

Hackensack, NJ: World Scientific (2012)
  Copy   BIBTEX

Abstract

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"?

Categories

Keywords

Reprint years

2017

Call number

QA9.W334 2012

ISBN(s)

9789814343862   981471996X   9814343870   0000988200
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
The mathematics of logic: a guide to completeness theorems and their applications.Richard Kaye - 2007 - New York: Cambridge University Press.
An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - 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.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Thought and logic: the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century.Jarmo Pulkkinen - 2005 - New York: P. Lang.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.

Analytics

Added to PP
2012-07-26

Downloads
112 (#159,238)

6 months
12 (#219,036)

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