Limit Search Results
Author
SpringerLink (Online service)
(96)
Gabbay, Dov M. author.
(5)
Rahman, Shahid. editor.
(5)
Schlechta, Karl. author.
(4)
Marion, Mathieu. editor.
(3)
Language
Publication Date
-
Subject
Philosophy (General).
(63)
Computer science.
(42)
Science -- Philosophy.
(40)
Logic, Symbolic and mathematical.
(36)
Artificial intelligence.
(23)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
113 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Vagueness: A Guide
Vagueness: A Guide
Author 
Ronzitti, Giuseppina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0375-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
Cover image for Rethinking Popper
Rethinking Popper
Author 
Parusniková, Zuzana. editor. Cohen, Robert S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9338-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
Author 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The Golden Age of Polish Philosophy Kazimierz Twardowski’s Philosophical Legacy
The Golden Age of Polish Philosophy Kazimierz Twardowski’s Philosophical Legacy
Author 
Lapointe, Sandra. editor. Wolénski, Jan. editor. Marion, Mathieu. editor. Miskiewicz, Wioletta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-2401-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox
Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox
Author 
Rahman, Shahid. editor. Tulenheimo, Tero. editor. Genot, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8468-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
Author 
Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Information and Knowledge A Constructive Type-theoretical Approach
Information and Knowledge A Constructive Type-theoretical Approach
Author 
Primiero, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes
Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes
Author 
Dutilh Novaes, Catarina. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5853-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Analogy in Indian and Western Philosophical Thought
Analogy in Indian and Western Philosophical Thought
Author 
Zilberman, David B. Gourko, Helena. Cohen, Robert S. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3340-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Analysis and Interpretation in the Exact Sciences Essays in Honour of William Demopoulos
Analysis and Interpretation in the Exact Sciences Essays in Honour of William Demopoulos
Author 
Frappier, Melanie. editor. Brown, Derek. editor. DiSalle, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2582-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action