Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for The P=NP Question and Gödel’s Lost Letter
The P=NP Question and Gödel’s Lost Letter
Author 
Lipton, Richard J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Cognitive Reasoning A Formal Approach
Cognitive Reasoning A Formal Approach
Author 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
Author 
Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Author 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
Author 
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1221-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79384-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems
Author 
Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04407-6
Format: 
Availability 
Online Library~1
Available:
Copies: