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
529. 
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:
530. 
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:
531. 
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:
532. 
Cover image for Tracking reason proof, consequence, and truth
Tracking reason proof, consequence, and truth
Author 
Azzouni, Jody.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
533. 
Cover image for Thinking about acting logical foundations for rational decision making
Thinking about acting logical foundations for rational decision making
Author 
Pollock, John L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
534. 
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:
535. 
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:
536. 
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:
537. 
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:
538. 
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:
539. 
Cover image for Phenomenology, Logic, and the Philosophy of Mathematics
Phenomenology, Logic, and the Philosophy of Mathematics
Author 
Tieszen, Richard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
540. 
Cover image for Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
Author 
Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action