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.
(51)
Mathematics.
(21)
Computer science.
(16)
Logic.
(11)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
55 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
Cover image for Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
Author 
DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Proof, Computation and Agency Logic at the Crossroads
Proof, Computation and Agency Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Methods of Cut-Elimination
Methods of Cut-Elimination
Author 
Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0320-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Advanced Łukasiewicz calculus and MV-algebras
Advanced Łukasiewicz calculus and MV-algebras
Author 
Mundici, D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0840-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Strict Finitism and the Logic of Mathematical Applications
Strict Finitism and the Logic of Mathematical Applications
Author 
Ye, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1347-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action