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
493. 
Cover image for Constructive Negations and Paraconsistency
Constructive Negations and Paraconsistency
Author 
Odintsov, Sergei P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6867-6
Format: 
Availability 
Online Library~1
Available:
Copies:
494. 
Cover image for Logic Colloquium 2005
Logic Colloquium 2005
Author 
Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
495. 
Cover image for Handbook of dynamic system modeling
Handbook of dynamic system modeling
Author 
Fishwick, Paul A.
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:
496. 
Cover image for Handbook of Spatial Logics
Handbook of Spatial Logics
Author 
Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: 
Availability 
Online Library~1
Available:
Copies:
497. 
Cover image for Number Theory An Introduction via the Distribution of Primes
Number Theory An Introduction via the Distribution of Primes
Author 
Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4541-0
Format: 
Availability 
Online Library~1
Available:
Copies:
498. 
Cover image for 104 Number Theory Problems From the Training of the USA IMO Team
104 Number Theory Problems From the Training of the USA IMO Team
Author 
Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
499. 
Cover image for A Beginner’s Guide to Graph Theory
A Beginner’s Guide to Graph Theory
Author 
Wallis, W. D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4580-9
Format: 
Availability 
Online Library~1
Available:
Copies:
500. 
Cover image for The Strength of Nonstandard Analysis
The Strength of Nonstandard Analysis
Author 
Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-49905-4
Format: 
Availability 
Online Library~1
Available:
Copies:
501. 
Cover image for Kolmogorov’s Heritage in Mathematics
Kolmogorov’s Heritage in Mathematics
Author 
Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36351-4
Format: 
Availability 
Online Library~1
Available:
Copies:
502. 
Cover image for Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
Author 
Deiser, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-45388-8
Format: 
Availability 
Online Library~1
Available:
Copies:
503. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Author 
Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: 
Availability 
Online Library~1
Available:
Copies:
504. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Author 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action