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
373. 
Cover image for Recursion Theory and Computational Complexity
Recursion Theory and Computational Complexity
Author 
Lolli, G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11072-6
Format: 
Availability 
Online Library~1
Available:
Copies:
374. 
Cover image for Model Theory and Applications
Model Theory and Applications
Author 
Mangani, P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11121-1
Format: 
Availability 
Online Library~1
Available:
Copies:
375. 
Cover image for Conditionals and Modularity in General Logics
Conditionals and Modularity in General Logics
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-19068-1
Format: 
Availability 
Online Library~1
Available:
Copies:
376. 
Cover image for Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2560-7
Format: 
Availability 
Online Library~1
Available:
Copies:
377. 
Cover image for Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory
Author 
Granström, Johan Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1736-7
Format: 
Availability 
Online Library~1
Available:
Copies:
378. 
Cover image for The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
Author 
Hopkins, Burt C. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
379. 
Cover image for The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition
The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition
Author 
Linsky, Bernard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
380. 
Cover image for Computational logic and human thinking how to be artificially intelligent
Computational logic and human thinking how to be artificially intelligent
Author 
Kowalski, Robert.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916
Format: 
Availability 
Online Library~1
Available:
Copies:
381. 
Cover image for McGraw-Hill's LSAT
McGraw-Hill's LSAT
Author 
Curvebreakers.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
382. 
Cover image for Logic demystified
Logic demystified
Author 
Boutelle, Anthony. Gibilisco, Stan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
383. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Author 
Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
384. 
Cover image for Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
Author 
Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action