Limit Search Results
Author
SpringerLink (Online service)
(29)
Dalen, Dirk. author.
(2)
Aberdein, Andrew. editor.
(1)
Andréka, Hajnal. editor.
(1)
Artemov, Sergei. editor.
(1)
Language
Publication Date
-
Subject
Mathematical Logic and Foundations.
(29)
Logic, Symbolic and mathematical.
(28)
Mathematics.
(17)
Computer science.
(14)
Mathematical Logic and Formal Languages.
(11)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
31 Results Found Subscribe to search results
0000000DEFAULT
Print
25. 
Cover image for Logic and Structure
Logic and Structure
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331010.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for The Argument of Mathematics
The Argument of Mathematics
Author 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for Visual Reasoning with Diagrams
Visual Reasoning with Diagrams
Author 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Towards a General Theory of Classifications
Towards a General Theory of Classifications
Author 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Availability 
Online Library~1
Available:
Copies: