Limit Search Results
Author
SpringerLink (Online service)
(143)
Gabbay, Dov M. author.
(5)
Rahman, Shahid. editor.
(5)
Hegel, Georg Wilhelm Friedrich.
(4)
Schlechta, Karl. author.
(4)
Language
Publication Date
-
Subject
Philosophy (General).
(90)
Logic, Symbolic and mathematical.
(48)
Computer science.
(42)
Science -- Philosophy.
(39)
Artificial intelligence.
(30)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
221 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Judgement and the Epistemic Foundation of Logic
Judgement and the Epistemic Foundation of Logic
Author 
van der Schaar, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335895.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Author 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
Author 
Manin, Yu. I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
Author 
Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Between Logic and Reality Modeling Inference, Action and Understanding
Between Logic and Reality Modeling Inference, Action and Understanding
Author 
Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2390-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Author 
Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8812-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions
The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions
Author 
Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8405-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The technique of controversy : principles of dynamic logic
The technique of controversy : principles of dynamic logic
Author 
Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number 
BC 108 B65 1928 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
45. 
Cover image for Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Author 
Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
Cover image for Games, Norms and Reasons Logic at the Crossroads
Games, Norms and Reasons Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0714-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
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