Limit Search Results
Author
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
20 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
Author 
Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35651-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical Problems from Applied Logic II Logics for the XXIst Century
Mathematical Problems from Applied Logic II Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69245-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for The Arché Papers on the Mathematics of Abstraction
The Arché Papers on the Mathematics of Abstraction
Author 
Cook, Roy T. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4265-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
Author 
Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Brouwer Meets Husserl On the Phenomenology of Choice Sequences
Brouwer Meets Husserl On the Phenomenology of Choice Sequences
Author 
Atten, Mark. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5087-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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: