Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
This festschrift honors Johann A. Makowsky on the occasion of his 75th birthday. Gathering 24 research articles authored by scientific companions, friends, and colleagues, it covers a broad variety of areas to which Johann A. Makowsky made significant contributions himself. These include several are...
Gorde:
| Erakunde egilea: | SpringerLink (Online service) |
|---|---|
| Beste egile batzuk: | Meer, Klaus (Argitaratzailea), Rabinovich, Alexander (Argitaratzailea), Ravve, Elena (Argitaratzailea), Villaveces, Andrés (Argitaratzailea) |
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Cham :
Springer Nature Switzerland : Imprint: Birkhäuser,
2025.
|
| Edizioa: | 1st ed. 2025. |
| Saila: | Trends in Mathematics,
|
| Gaiak: | |
| Sarrera elektronikoa: | https://doi.org/10.1007/978-3-031-86319-6 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Antzeko izenburuak
The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
nork: Viale, Matteo
Argitaratua: (2024)
nork: Viale, Matteo
Argitaratua: (2024)
Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
nork: Halbeisen, Lorenz, et al.
Argitaratua: (2025)
nork: Halbeisen, Lorenz, et al.
Argitaratua: (2025)
Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
nork: Hoffmann, Dirk W.
Argitaratua: (2024)
nork: Hoffmann, Dirk W.
Argitaratua: (2024)
An Invitation to Mathematical Logic
nork: Marker, David
Argitaratua: (2024)
nork: Marker, David
Argitaratua: (2024)
Philosophy of Mathematics in Antiquity and in Modern Times
nork: Felgner, Ulrich
Argitaratua: (2023)
nork: Felgner, Ulrich
Argitaratua: (2023)
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Argitaratua: (2024)
Argitaratua: (2024)
Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
nork: Rodríguez-Consuegra, Francisco
Argitaratua: (2025)
nork: Rodríguez-Consuegra, Francisco
Argitaratua: (2025)
Institution-independent Model Theory
nork: Diaconescu, Răzvan
Argitaratua: (2025)
nork: Diaconescu, Răzvan
Argitaratua: (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 /
Argitaratua: (2024)
Argitaratua: (2024)
Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
nork: Batzoglou, Serafim
Argitaratua: (2024)
nork: Batzoglou, Serafim
Argitaratua: (2024)
Combinatorial Set Theory With a Gentle Introduction to Forcing /
nork: Halbeisen, Lorenz J.
Argitaratua: (2025)
nork: Halbeisen, Lorenz J.
Argitaratua: (2025)
R-Calculus, VI: Finite Injury Priority Method
nork: Li, Wei, et al.
Argitaratua: (2025)
nork: Li, Wei, et al.
Argitaratua: (2025)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
nork: Hoffmann, Dirk W.
Argitaratua: (2025)
nork: Hoffmann, Dirk W.
Argitaratua: (2025)
Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics
nork: Kiryushchenko, Vitaly
Argitaratua: (2023)
nork: Kiryushchenko, Vitaly
Argitaratua: (2023)
Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Argitaratua: (2024)
Argitaratua: (2024)
New Directions in Relevant Logic
Argitaratua: (2025)
Argitaratua: (2025)
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Argitaratua: (2024)
Argitaratua: (2024)
An Introduction to Naïve Set Theory and Its Applications
nork: Srivastava, Shashi Mohan
Argitaratua: (2024)
nork: Srivastava, Shashi Mohan
Argitaratua: (2024)
Logic in Computer Science
nork: Zhang, Hantao, et al.
Argitaratua: (2025)
nork: Zhang, Hantao, et al.
Argitaratua: (2025)
Kurt Gödel: Results on Foundations
Argitaratua: (2023)
Argitaratua: (2023)
Arithmetic and Algebraic Geometry A Mathematical Tribute to Yuri Manin /
Argitaratua: (2024)
Argitaratua: (2024)
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Argitaratua: (2023)
Argitaratua: (2023)
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Argitaratua: (2024)
Argitaratua: (2024)
The New Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of Its Creators /
nork: Soifer, Alexander
Argitaratua: (2024)
nork: Soifer, Alexander
Argitaratua: (2024)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
nork: Farmer, William M.
Argitaratua: (2025)
nork: Farmer, William M.
Argitaratua: (2025)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
nork: Farmer, William M.
Argitaratua: (2023)
nork: Farmer, William M.
Argitaratua: (2023)
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
nork: Schreiner, Wolfgang
Argitaratua: (2023)
nork: Schreiner, Wolfgang
Argitaratua: (2023)
Diagrams and Gestures Mathematics, Philosophy, and Linguistics /
Argitaratua: (2023)
Argitaratua: (2023)
The Mathematical Representation of Physical Reality
nork: Hacyan, Shahen
Argitaratua: (2023)
nork: Hacyan, Shahen
Argitaratua: (2023)
R-Calculus, IV: Propositional Logic
nork: Li, Wei, et al.
Argitaratua: (2023)
nork: Li, Wei, et al.
Argitaratua: (2023)
Logic and Set Theory /
nork: Philip, N.
Argitaratua: (1979)
nork: Philip, N.
Argitaratua: (1979)
Introduction to Logic /
nork: Suppes, Patrick
Argitaratua: (1957)
nork: Suppes, Patrick
Argitaratua: (1957)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
nork: Church, Alonzo
Argitaratua: (1996)
nork: Church, Alonzo
Argitaratua: (1996)
Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Computability and logic /
nork: Boolos, George S.
Argitaratua: (1989)
nork: Boolos, George S.
Argitaratua: (1989)
Logicomix: An Epic Search for Truth An Epic Search for Truth
nork: Doxiadis
Argitaratua: (2009)
nork: Doxiadis
Argitaratua: (2009)
R-Calculus, V: Description Logics
nork: Li, Wei, et al.
Argitaratua: (2024)
nork: Li, Wei, et al.
Argitaratua: (2024)
Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Argitaratua: (2025)
Argitaratua: (2025)
Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Antzeko izenburuak
-
The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
nork: Viale, Matteo
Argitaratua: (2024) -
Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
nork: Halbeisen, Lorenz, et al.
Argitaratua: (2025) -
Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
nork: Hoffmann, Dirk W.
Argitaratua: (2024) -
An Invitation to Mathematical Logic
nork: Marker, David
Argitaratua: (2024) -
Philosophy of Mathematics in Antiquity and in Modern Times
nork: Felgner, Ulrich
Argitaratua: (2023)