An Invitation to Mathematical Logic
In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard text” for a first graduate course in mathematical logic and this book will fill that gap. While there is more material than c...
שמור ב:
| מחבר ראשי: | Marker, David (Author) |
|---|---|
| מחבר תאגידי: | SpringerLink (Online service) |
| פורמט: | אלקטרוני ספר אלקטרוני |
| שפה: | אנגלית |
| יצא לאור: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| מהדורה: | 1st ed. 2024. |
| סדרה: | Graduate Texts in Mathematics,
301 |
| נושאים: | |
| גישה מקוונת: | https://doi.org/10.1007/978-3-031-55368-4 |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
מאת: Viale, Matteo
יצא לאור: (2024)
מאת: Viale, Matteo
יצא לאור: (2024)
Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
מאת: Halbeisen, Lorenz, et al.
יצא לאור: (2025)
מאת: Halbeisen, Lorenz, et al.
יצא לאור: (2025)
Philosophy of Mathematics in Antiquity and in Modern Times
מאת: Felgner, Ulrich
יצא לאור: (2023)
מאת: Felgner, Ulrich
יצא לאור: (2023)
Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
מאת: Hoffmann, Dirk W.
יצא לאור: (2024)
מאת: Hoffmann, Dirk W.
יצא לאור: (2024)
Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
יצא לאור: (2025)
יצא לאור: (2025)
Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
מאת: Rodríguez-Consuegra, Francisco
יצא לאור: (2025)
מאת: Rodríguez-Consuegra, Francisco
יצא לאור: (2025)
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
יצא לאור: (2024)
יצא לאור: (2024)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
מאת: Hoffmann, Dirk W.
יצא לאור: (2025)
מאת: Hoffmann, Dirk W.
יצא לאור: (2025)
Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
מאת: Batzoglou, Serafim
יצא לאור: (2024)
מאת: Batzoglou, Serafim
יצא לאור: (2024)
Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics
מאת: Kiryushchenko, Vitaly
יצא לאור: (2023)
מאת: Kiryushchenko, Vitaly
יצא לאור: (2023)
Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
יצא לאור: (2024)
יצא לאור: (2024)
R-Calculus, VI: Finite Injury Priority Method
מאת: Li, Wei, et al.
יצא לאור: (2025)
מאת: Li, Wei, et al.
יצא לאור: (2025)
Combinatorial Set Theory With a Gentle Introduction to Forcing /
מאת: Halbeisen, Lorenz J.
יצא לאור: (2025)
מאת: Halbeisen, Lorenz J.
יצא לאור: (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 /
יצא לאור: (2024)
יצא לאור: (2024)
Institution-independent Model Theory
מאת: Diaconescu, Răzvan
יצא לאור: (2025)
מאת: Diaconescu, Răzvan
יצא לאור: (2025)
New Directions in Relevant Logic
יצא לאור: (2025)
יצא לאור: (2025)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
מאת: Church, Alonzo
יצא לאור: (1996)
מאת: Church, Alonzo
יצא לאור: (1996)
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
יצא לאור: (2024)
יצא לאור: (2024)
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
יצא לאור: (2023)
יצא לאור: (2023)
Introduction to Logic /
מאת: Suppes, Patrick
יצא לאור: (1957)
מאת: Suppes, Patrick
יצא לאור: (1957)
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
יצא לאור: (2023)
יצא לאור: (2023)
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
יצא לאור: (2024)
יצא לאור: (2024)
Kurt Gödel: Results on Foundations
יצא לאור: (2023)
יצא לאור: (2023)
Logic in Computer Science
מאת: Zhang, Hantao, et al.
יצא לאור: (2025)
מאת: Zhang, Hantao, et al.
יצא לאור: (2025)
Introduction to mathematical logic /
מאת: Church, Alonzo
יצא לאור: (1956)
מאת: Church, Alonzo
יצא לאור: (1956)
An Introduction to Naïve Set Theory and Its Applications
מאת: Srivastava, Shashi Mohan
יצא לאור: (2024)
מאת: Srivastava, Shashi Mohan
יצא לאור: (2024)
The New Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of Its Creators /
מאת: Soifer, Alexander
יצא לאור: (2024)
מאת: Soifer, Alexander
יצא לאור: (2024)
R-Calculus, IV: Propositional Logic
מאת: Li, Wei, et al.
יצא לאור: (2023)
מאת: Li, Wei, et al.
יצא לאור: (2023)
A mathematical introduction to logic /
מאת: Enderton, Herbert B.
יצא לאור: (2001)
מאת: Enderton, Herbert B.
יצא לאור: (2001)
Mathematical logic and computability/
מאת: Keisler, H. Jerome
יצא לאור: (1996)
מאת: Keisler, H. Jerome
יצא לאור: (1996)
Logic : A Philosophical Introduction /
מאת: Kaminsky, Jack
יצא לאור: (1974)
מאת: Kaminsky, Jack
יצא לאור: (1974)
Arithmetic and Algebraic Geometry A Mathematical Tribute to Yuri Manin /
יצא לאור: (2024)
יצא לאור: (2024)
פריטים דומים
-
The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
מאת: Viale, Matteo
יצא לאור: (2024) -
Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
מאת: Halbeisen, Lorenz, et al.
יצא לאור: (2025) -
Philosophy of Mathematics in Antiquity and in Modern Times
מאת: Felgner, Ulrich
יצא לאור: (2023) -
Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
מאת: Hoffmann, Dirk W.
יצא לאור: (2024) -
Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
יצא לאור: (2025)