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
624 Results Found Subscribe to search results
000000000000DEFAULT
Print
505. 
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:
506. 
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:
507. 
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:
508. 
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:
509. 
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:
510. 
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:
511. 
Cover image for Transition to higher mathematics : structure and proof
Transition to higher mathematics : structure and proof
Author 
Dumas, Bob A. McCarthy, John E.
Preferred Shelf Number 
QA9 .D863 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
512. 
Cover image for Discrete mathematics and its applications
Discrete mathematics and its applications
Author 
Rosen, Kenneth H.
Preferred Shelf Number 
QA39.3 R674 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
513. 
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:
514. 
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:
515. 
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:
516. 
Cover image for Passione per Trilli Alcune idee dalla matematica
Passione per Trilli Alcune idee dalla matematica
Author 
Lucchetti, Roberto. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0629-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets