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
421. 
Cover image for Banach Spaces and Descriptive Set Theory: Selected Topics
Banach Spaces and Descriptive Set Theory: Selected Topics
Author 
Dodos, Pandelis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12153-1
Format: 
Availability 
Online Library~1
Available:
Copies:
422. 
Cover image for Mathematical reasoning patterns, problems, conjectures, and proofs
Mathematical reasoning patterns, problems, conjectures, and proofs
Author 
Nickerson, Raymond S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
423. 
Cover image for Discrete structures, logic, and computability
Discrete structures, logic, and computability
Author 
Hein, James L.
Preferred Shelf Number 
QA76.9.M35 H44 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
424. 
Cover image for Roads to infinity the mathematics of truth and proof
Roads to infinity the mathematics of truth and proof
Author 
Stillwell, John.
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:
425. 
Cover image for Logic and Philosophy of Mathematics in the Early Husserl
Logic and Philosophy of Mathematics in the Early Husserl
Author 
Centrone, Stefania. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3246-1
Format: 
Availability 
Online Library~1
Available:
Copies:
426. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Author 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
427. 
Cover image for Truth through proof a formalist foundation for mathematics
Truth through proof a formalist foundation for mathematics
Author 
Weir, Alan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
428. 
Cover image for A Framework for Priority Arguments
A Framework for Priority Arguments
Author 
Lerman, Manuel.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
429. 
Cover image for Logic Colloquium 2007
Logic Colloquium 2007
Author 
Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
430. 
Cover image for Cardinal Invariants on Boolean Algebras
Cardinal Invariants on Boolean Algebras
Author 
Monk, J. Donald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0334-8
Format: 
Availability 
Online Library~1
Available:
Copies:
431. 
Cover image for Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems
Author 
Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04407-6
Format: 
Availability 
Online Library~1
Available:
Copies:
432. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79384-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action