Limit Search Results
Author
SpringerLink (Online service)
(85)
Aigner, Martin. author.
(2)
Andreescu, Titu. author.
(2)
Bewersdorff, Jörg. author.
(2)
DiSalle, Robert. editor.
(2)
Language
Publication Date
-
Subject
Mathematical Logic and Foundations.
(64)
Mathematical logic.
(64)
History of Mathematical Sciences.
(36)
History.
(36)
Logic.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
85 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Alfred Tarski Early Work in Poland-Geometry and Teaching
Alfred Tarski Early Work in Poland-Geometry and Teaching
by 
McFarland, Andrew. editor.
https://doi.org/10.1007/978-1-4939-1474-6
Format: 
Excerpt: 
Mathematical Logic and Foundations.
38. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
by 
Zermelo, Ernst. author.
https://doi.org/10.1007/978-3-540-70856-8
Format: 
Excerpt: 
Mathematical Logic and Foundations.
39. 
Cover image for L.E.J. Brouwer - Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
L.E.J. Brouwer - Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
by 
van Dalen, Dirk. author.
https://doi.org/10.1007/978-1-4471-4616-2
Format: 
Excerpt: 
Mathematical Logic and Foundations.
40. 
Cover image for A Logical Introduction to Proof
A Logical Introduction to Proof
by 
Cunningham, Daniel W. author.
https://doi.org/10.1007/978-1-4614-3631-7
Format: 
Excerpt: 
Mathematical Logic and Foundations.
41. 
Cover image for Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
by 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-1-4471-4534-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
42. 
Cover image for The Mathematics of Paul Erdős II
The Mathematics of Paul Erdős II
by 
Graham, Ronald L. editor.
https://doi.org/10.1007/978-1-4614-7254-4
Format: 
Excerpt: 
Mathematical Logic and Foundations.
43. 
Cover image for Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
by 
Pudlák, Pavel. author.
https://doi.org/10.1007/978-3-319-00119-7
Format: 
Excerpt: 
Mathematical Logic and Foundations.
44. 
Cover image for An Invitation to Abstract Mathematics
An Invitation to Abstract Mathematics
by 
Bajnok, Béla. author.
https://doi.org/10.1007/978-1-4614-6636-9
Format: 
Excerpt: 
Mathematical Logic and Foundations.
45. 
Cover image for The Real Numbers An Introduction to Set Theory and Analysis
The Real Numbers An Introduction to Set Theory and Analysis
by 
Stillwell, John. author.
https://doi.org/10.1007/978-3-319-01577-4
Format: 
Excerpt: 
Mathematical Logic and Foundations.
46. 
Cover image for Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
by 
Hinkis, Arie. author.
https://doi.org/10.1007/978-3-0348-0224-6
Format: 
Excerpt: 
Mathematical Logic and Foundations.
47. 
Cover image for Mathematische Grundlagen für die Informatik Mengen, Logik, Rekursion
Mathematische Grundlagen für die Informatik Mengen, Logik, Rekursion
by 
Witt, Kurt-Ulrich. author.
https://doi.org/10.1007/978-3-658-03079-7
Format: 
Excerpt: 
Mathematische Grundlagen für die Informatik Mengen, Logik, Rekursion / Witt, Kurt-Ulrich. author.
48. 
Cover image for An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
by 
Tapp, Christian. author.
https://doi.org/10.1007/978-3-642-29654-3
Format: 
Excerpt: 
Mathematical Logic and Foundations.
Select an Action