Limit Search Results
Author
SpringerLink (Online service)
(35)
Curvebreakers.
(2)
Ditmarsch, Hans. editor.
(2)
Gupta, Amitabha. editor.
(2)
Lucchetti, Roberto. editor.
(2)
Language
Subject
Logic, Symbolic and mathematical.
(44)
Mathematics.
(21)
Computer science.
(16)
Logic.
(11)
Philosophy (General).
(6)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
48 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The Selected Correspondence of L.E.J. Brouwer
The Selected Correspondence of L.E.J. Brouwer
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-537-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Author 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
Author 
Décaillot, Anne-Marie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14869-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Author 
Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21350-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for From Objects to Diagrams for Ranges of Functors
From Objects to Diagrams for Ranges of Functors
Author 
Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21774-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
Author 
Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21875-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal. Seda, Anthony.
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:
10. 
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:
11. 
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:
12. 
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