Limit Search Results
Author
SpringerLink (Online service)
(79)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(100)
Mathematics.
(61)
Logic.
(30)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
282 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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, author.
Preferred Shelf Number 
QA9.2 .D38 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets