Kapak Resmi

Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the...

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Halbeisen, Lorenz (Yazar), Krapf, Regula (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2025.
Edisyon:	2nd ed. 2025.
Konular:	Mathematical logic. Mathematical Logic and Foundations.
Online Erişim:	https://doi.org/10.1007/978-3-031-85106-3
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
Yazar:: Hoffmann, Dirk W.
Baskı/Yayın Bilgisi: (2024)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
Yazar:: Rodríguez-Consuegra, Francisco
Baskı/Yayın Bilgisi: (2025)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
Yazar:: Halbeisen, Lorenz J.
Baskı/Yayın Bilgisi: (2025)

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
Yazar:: Batzoglou, Serafim
Baskı/Yayın Bilgisi: (2024)

An Invitation to Mathematical Logic
Yazar:: Marker, David
Baskı/Yayın Bilgisi: (2024)

Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Baskı/Yayın Bilgisi: (2025)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
Yazar:: Viale, Matteo
Baskı/Yayın Bilgisi: (2024)

Philosophy of Mathematics in Antiquity and in Modern Times
Yazar:: Felgner, Ulrich
Baskı/Yayın Bilgisi: (2023)

Kurt Gödel: Results on Foundations
Baskı/Yayın Bilgisi: (2023)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Baskı/Yayın Bilgisi: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Yazar:: Hoffmann, Dirk W.
Baskı/Yayın Bilgisi: (2025)

Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics
Yazar:: Kiryushchenko, Vitaly
Baskı/Yayın Bilgisi: (2023)

R-Calculus, VI: Finite Injury Priority Method
Yazar:: Li, Wei, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2024)

Institution-independent Model Theory
Yazar:: Diaconescu, Răzvan
Baskı/Yayın Bilgisi: (2025)

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Baskı/Yayın Bilgisi: (2024)

New Directions in Relevant Logic
Baskı/Yayın Bilgisi: (2025)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2024)

An Introduction to Naïve Set Theory and Its Applications
Yazar:: Srivastava, Shashi Mohan
Baskı/Yayın Bilgisi: (2024)

Arithmetic and Algebraic Geometry A Mathematical Tribute to Yuri Manin /
Baskı/Yayın Bilgisi: (2024)

The New Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of Its Creators /
Yazar:: Soifer, Alexander
Baskı/Yayın Bilgisi: (2024)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2024)

The Mathematical Representation of Physical Reality
Yazar:: Hacyan, Shahen
Baskı/Yayın Bilgisi: (2023)

Diagrams and Gestures Mathematics, Philosophy, and Linguistics /
Baskı/Yayın Bilgisi: (2023)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
Yazar:: Church, Alonzo
Baskı/Yayın Bilgisi: (1996)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
Yazar:: Farmer, William M.
Baskı/Yayın Bilgisi: (2025)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
Yazar:: Farmer, William M.
Baskı/Yayın Bilgisi: (2023)

R-Calculus, IV: Propositional Logic
Yazar:: Li, Wei, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
Yazar:: Schreiner, Wolfgang
Baskı/Yayın Bilgisi: (2023)

Logic in Computer Science
Yazar:: Zhang, Hantao, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Introduction to Logic /
Yazar:: Suppes, Patrick
Baskı/Yayın Bilgisi: (1957)

Logicomix: An Epic Search for Truth An Epic Search for Truth
Yazar:: Doxiadis
Baskı/Yayın Bilgisi: (2009)

A mathematical introduction to logic /
Yazar:: Enderton, Herbert B.
Baskı/Yayın Bilgisi: (2001)

The Philosophy of Mathematics / The Philosophy of Mathematics
Yazar:: Hart, W. D.
Baskı/Yayın Bilgisi: (1996)

Philosophy of Mathematics : Thinking about Mathematics / Philosophy of Mathematics Thinking about Mathematics
Yazar:: Shapiro, Stewart
Baskı/Yayın Bilgisi: (2000)

R-Calculus, V: Description Logics
Yazar:: Li, Wei, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Discrete Mathematics
Yazar:: Soss, S.
Baskı/Yayın Bilgisi: (2002)

The Foundations of Experimental Physics Unraveling the Premises of Physical and Scientific Knowledge /
Yazar:: Parravicini, Jacopo
Baskı/Yayın Bilgisi: (2024)