Limit Search Results
Author
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
22 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
Author 
Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336850.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69444-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34720-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338283.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-3000-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331026.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for A Logical Introduction to Proof
A Logical Introduction to Proof
Author 
Cunningham, Daniel W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Author 
Hinkis, Arie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332605.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Author 
Pudlák, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
Author 
Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01333-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The Real Numbers An Introduction to Set Theory and Analysis
The Real Numbers An Introduction to Set Theory and Analysis
Author 
Stillwell, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332876.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01577-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
Author 
Zeidler, Eberhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337476.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00297-8
Format: 
Availability 
Online Library~1
Available:
Copies: