Limit Search Results
Author
SpringerLink (Online service)
(20)
Aiello, Marco.
(1)
Andreescu, Titu. author.
(1)
Andrica, Dorin. author.
(1)
Artemov, Sergei N. editor.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
30 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Ernst Zermelo An Approach to His Life and Work
Ernst Zermelo An Approach to His Life and Work
Author 
Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-49553-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
Author 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
Cover image for Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
Author 
Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74915-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
Cover image for Logica Universalis Towards a General Theory of Logic
Logica Universalis Towards a General Theory of Logic
Author 
Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8354-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
Cover image for The Legacy of Mario Pieri in Geometry and Arithmetic
The Legacy of Mario Pieri in Geometry and Arithmetic
Author 
Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4603-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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: