Limit Search Results
Author
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
624 Results Found Subscribe to search results
000000000000DEFAULT
Print
517. 
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:
518. 
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:
519. 
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:
520. 
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:
521. 
Cover image for Axiom of Choice
Axiom of Choice
Author 
Herrlich, Horst. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11601562
Format: 
Availability 
Online Library~1
Available:
Copies:
522. 
Cover image for Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Author 
Lau, Dietlinde. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-36023-9
Format: 
Availability 
Online Library~1
Available:
Copies:
523. 
Cover image for A logical Approach to Philosophy Essays in Honour of Graham Solomon
A logical Approach to Philosophy Essays in Honour of Graham Solomon
Author 
Devidi, David. Kenyon, Tim. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4054-7
Format: 
Availability 
Online Library~1
Available:
Copies:
524. 
Cover image for Cambridge and Vienna Frank P. Ramsey and the Vienna Circle
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle
Author 
Galavotti, Maria Carla. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4101-2
Format: 
Availability 
Online Library~1
Available:
Copies:
525. 
Cover image for The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
Author 
Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5012-7
Format: 
Availability 
Online Library~1
Available:
Copies:
526. 
Cover image for More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
Author 
Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-32439-3
Format: 
Availability 
Online Library~1
Available:
Copies:
527. 
Cover image for Finite Model Theory
Finite Model Theory
Author 
Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28788-4
Format: 
Availability 
Online Library~1
Available:
Copies:
528. 
Cover image for Parameterized Complexity Theory
Parameterized Complexity Theory
Author 
Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29953-X
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action