Mathematical logic

Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas.

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In an...

Full description

Saved in:

Bibliographic Details
Main Authors:	Ebbinghaus, Heinz-Dieter, 1939- (Author), Flum, Jörg (Author), Thomas, Wolfgang, 1947- (Author)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, [2021]
Edition:	Third edition.
Series:	Graduate texts in mathematics,
Subjects:	Logic, Symbolic and mathematical. Logic, Symbolic and mathematical Càlcul. Lògica matemàtica. Llibres electrònics.
Online Access:	Click for online access

Similar Items

Advances in Mathematical Logic : dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised contributions
Published: (2021)

Mathematical logic : exercises and solutions
by: Csirmaz, László, et al.
Published: (2022)

Louis Courturat : the history of modern symbolic logic and other French manuscripts
by: Couturat, Louis, 1868-1914
Published: (2021)

Founding mathematics on semantic conventions
by: Hansen, Casper Storm
Published: (2021)

Logicism and its philosophical legacy
by: Demopoulos, William
Published: (2013)

Decidability of logical theories and their combination
by: Rasga, João
Published: (2020)

Aristotelian assertoric syllogistic : incorporating the Aristotelian assertoric syllogistic in the contemporary symbolic logic
by: Amer, Mohamed
Published: (2021)

Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics
by: Halbeisen, Lorenz, et al.
Published: (2020)

Logic functions and equations : fundamentals and applications using the XBOOLE-Monitor
by: Steinbach, Bernd
Published: (2022)

Sequents and trees : an introduction to the theory and applications of propositional sequent calculi
by: Indrzejczak, Andrzej
Published: (2021)

Institution-independent model theory
by: Diaconescu, Răzvan
Published: (2008)

Foundations without foundationalism : a case for second-order logic
by: Shapiro, Stewart, 1951-
Published: (1991)

Mathematics, logic, and their philosophies : essays in honour of Mohammad Ardeshir
Published: (2021)

Reductive logic and proof-search : proof theory, semantics, and control
by: Pym, David J., et al.
Published: (2004)

Handbook of Mathematical Logic.
by: Barwise, Jon
Published: (1989)

Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)

Inquisitive logic : consequence and inference in the realm of questions
by: Ciardelli, Ivano
Published: (2022)

Logic and implication : an introduction to the general algebraic study of non-classical logics
by: Cintula, Petr, et al.
Published: (2021)

Methods and Applications of Mathematical Logic.
by: Carnielli, Walter A.
Published: (1988)

Logical reasoning with diagrams
Published: (1996)

Advances in applied logics : applications of logic for philosophy, mathematics and information technology
Published: (2023)

Fuzzy logic and mathematics : a historical perspective
by: Bělohlávek, Radim
Published: (2017)

Mathematical logic in the 20th century
Published: (2003)

Mathematical Logic
by: Ebbinghaus, H.-D
Published: (1994)

In the Light of Logic.
by: Feferman, Solomon
Published: (1999)

The mathematics of logic : a guide to completeness theorems and their applications
by: Kaye, Richard (Richard W.)
Published: (2007)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)

Paradox and paraconsistency : conflict resolution in the abstract sciences
by: Woods, John (John Hayden)
Published: (2003)

Introduction to Mathematical Structures and Proofs.
by: Banchoff, Thomas F.
Published: (1996)

A tour through mathematical logic
by: Wolf, Robert S.
Published: (2005)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Published: (2007)

Hiroakira Ono on substructural logic
Published: (2022)

Mathematical reasoning : the history and impact of the DReaM group
Published: (2021)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Published: (1989)

V.A. Yankov on non-classical logics, history and philosophy of mathematics
Published: (2022)

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
Published: (1985)

Proceedings of the 12Th Asian Logic Conference.
by: Downey, R. G. (Rod G.)
Published: (2013)

Mathematical logic in South America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Published: (1980)

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
Published: (1988)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)