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
433. 
Cover image for Handbook of Set Theory
Handbook of Set Theory
Author 
Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5764-9
Format: 
Availability 
Online Library~1
Available:
Copies:
434. 
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:
435. 
Cover image for Teaching mathematical reasoning in secondary school classrooms
Teaching mathematical reasoning in secondary school classrooms
Author 
Brodie, Karin. Coetzee, Kurt.
Preferred Shelf Number 
QA8.7 B76 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
436. 
Cover image for Teaching and learning proof across the grades a K-16 perspective
Teaching and learning proof across the grades a K-16 perspective
Author 
Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
437. 
Cover image for Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science
Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science
Author 
Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85198-1
Format: 
Availability 
Online Library~1
Available:
Copies:
438. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
439. 
Cover image for Logische Grundlagen der Mathematik
Logische Grundlagen der Mathematik
Author 
Schindler, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95932-8
Format: 
Availability 
Online Library~1
Available:
Copies:
440. 
Cover image for Handbook of Weighted Automata
Handbook of Weighted Automata
Author 
Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01492-5
Format: 
Availability 
Online Library~1
Available:
Copies:
441. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
442. 
Cover image for Ultimate Explanations of the Universe
Ultimate Explanations of the Universe
Author 
Heller, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02103-9
Format: 
Availability 
Online Library~1
Available:
Copies:
443. 
Cover image for Logic Colloquium 2006
Logic Colloquium 2006
Author 
Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
444. 
Cover image for Introduction to mathematics of satisfiability
Introduction to mathematics of satisfiability
Author 
Marek, V. W. (V. Wiktor), 1943-
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:
Select an Action