Limit Search Results
Author
SpringerLink (Online service)
(225)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(3)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(317)
Mathematics.
(129)
Computer science.
(101)
Logic.
(48)
Artificial intelligence.
(34)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
360 Results Found Subscribe to search results
000000000000DEFAULT
Print
265. 
Cover image for Techniques of Constructive Analysis
Techniques of Constructive Analysis
Author 
Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-38147-3
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Theorems, corollaries, lemmas, and methods of proof
Theorems, corollaries, lemmas, and methods of proof
Author 
Rossi, Richard J., 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118031575
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html
http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
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:
268. 
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:
269. 
Cover image for Categories for Software Engineering
Categories for Software Engineering
Author 
Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138249
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Field Arithmetic
Field Arithmetic
Author 
Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138352
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Valued Fields
Valued Fields
Author 
Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30035-X
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11538363
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Laws of Nature
Laws of Nature
Author 
Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28303-X
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
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:
275. 
Cover image for Trends in Continuum Mechanics of Porous Media
Trends in Continuum Mechanics of Porous Media
Author 
Boer, Reint. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3144-0
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Visualization, Explanation and Reasoning Styles in Mathematics
Visualization, Explanation and Reasoning Styles in Mathematics
Author 
Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action