Limit Search Results
Author
SpringerLink (Online service)
(72)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(98)
Mathematics.
(60)
Logic.
(29)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
250 Results Found Subscribe to search results
0000000000DEFAULT
Print
241. 
Cover image for Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
Author 
Deiser, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-45388-8
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Mathematics and common sense a case of creative tension
Mathematics and common sense a case of creative tension
Author 
Davis, Philip J., 1923-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Commonsense reasoning
Commonsense reasoning
Author 
Mueller, Erik T.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Mathematical Problems from Applied Logic I Logics for the XXIst Century
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Théorie des ensembles
Théorie des ensembles
Author 
Bourbaki, N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34035-5
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Modern Formal Methods and Applications
Modern Formal Methods and Applications
Author 
Gabbar, Hossam A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4223-X
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for 18 Unconventional Essays on the Nature of Mathematics
18 Unconventional Essays on the Nature of Mathematics
Author 
Hersh, Reuben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29831-2
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for A Modern Perspective on Type Theory From its Origins until Today
A Modern Perspective on Type Theory From its Origins until Today
Author 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Propositional and Predicate Calculus A Model of Argument
Propositional and Predicate Calculus A Model of Argument
Author 
Goldrei, Derek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-229-2
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Essays in Constructive Mathematics
Essays in Constructive Mathematics
Author 
Edwards, Harold M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138656
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action