Cover Image

Mathematical Logic /

Show other versions (2)

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

Bibliographic Details
Main Authors:	Ebbinghaus, Heinz-Dieter (Author), Flum, Jörg (Author), Thomas, Wolfgang (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	3rd ed. 2021.
Series:	Graduate Texts in Mathematics, 291
Subjects:	Mathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /
by: Schreiner, Wolfgang
Published: (2021)

Handbook of Computability and Complexity in Analysis /
Published: (2021)

An Invitation to Abstract Mathematics /
by: Bajnok, Béla
Published: (2020)

Pythagorean Fuzzy Sets : Theory and Applications /
Published: (2021)

Lessons in Enumerative Combinatorics /
by: Eğecioğlu, Ömer, et al.
Published: (2021)

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
Published: (2020)

Paul Lorenzen -- Mathematician and Logician /
Published: (2021)

Undecidability, Uncomputability, and Unpredictability /
Published: (2021)

Practical Optimization : Algorithms and Engineering Applications /
by: Antoniou, Andreas, et al.
Published: (2021)

WITTGENSTEINIAN (adj.) : Looking at the World from the Viewpoint of Wittgenstein's Philosophy /
Published: (2020)

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
Published: (2021)

Foundation Mathematics for Computer Science : A Visual Approach /
by: Vince, John
Published: (2020)

Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications /
by: O'Regan, Gerard
Published: (2021)

Numerical Methods of Mathematics Implemented in Fortran /
by: Bose, Sujit Kumar
Published: (2019)

Discrete Mathematics and Graph Theory : A Concise Study Companion and Guide /
by: Erciyes, K.
Published: (2021)

Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I /
Published: (2020)

Algebra and Geometry with Python /
by: Kurgalin, Sergei, et al.
Published: (2021)

What is Fundamental? /
Published: (2019)

Topological Data Analysis : The Abel Symposium 2018 /
Published: (2020)

Numerical Mathematics and Advanced Applications ENUMATH 2017 /
Published: (2019)

Computing and Combinatorics : 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021, Proceedings /
Published: (2021)

Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts /
by: O'Regan, Gerard
Published: (2020)

Mechanistic Explanations in Physics and Beyond /
Published: (2019)

Introduction to Scientific Programming with Python /
by: Sundnes, Joakim
Published: (2020)

Parallel Problem Solving from Nature - PPSN XVI : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I /
Published: (2020)

Morphological Models of Random Structures /
by: Jeulin, Dominique
Published: (2021)

Numerical Mathematics and Advanced Applications ENUMATH 2019 : European Conference, Egmond aan Zee, The Netherlands, September 30 - October 4 /
Published: (2021)

Numerical Methods for Elliptic and Parabolic Partial Differential Equations : With contributions by Andreas Rupp /
by: Knabner, Peter, et al.
Published: (2021)

Pyomo - Optimization Modeling in Python /
by: Bynum, Michael L., et al.
Published: (2021)

High Performance Computing in Science and Engineering '19 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 /
Published: (2021)

Computational Logistics : 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021, Proceedings /
Published: (2021)

Stochastic Numerics for Mathematical Physics /
by: Milstein, Grigori N., et al.
Published: (2021)

Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings /
Published: (2021)

Recent Developments in Mathematical, Statistical and Computational Sciences : The V AMMCS International Conference, Waterloo, Canada, August 18-23, 2019 /
Published: (2021)

Planar Maps, Random Walks and Circle Packing : École d'Été de Probabilités de Saint-Flour XLVIII - 2018 /
by: Nachmias, Asaf
Published: (2020)

Recent Advances in Engineering Mathematics and Physics : Proceedings of the International Conference RAEMP 2019 /
Published: (2020)

Mathematical Modeling and Computational Tools : ICACM 2018, Kharagpur, India, November 23-25 /
Published: (2020)

Machine Learning with Quantum Computers /
by: Schuld, Maria, et al.
Published: (2021)

The Discrete Math Workbook : A Companion Manual Using Python /
by: Kurgalin, Sergei, et al.
Published: (2020)

Machine Learning /
by: Zhou, Zhi-Hua
Published: (2021)