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
73. 
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:
74. 
Cover image for Foundational Theories of Classical and Constructive Mathematics
Foundational Theories of Classical and Constructive Mathematics
Author 
Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0431-2
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
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:
76. 
Cover image for Controversy as News Discourse
Controversy as News Discourse
Author 
Cramer, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1288-1
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Reasoning about Preference Dynamics
Reasoning about Preference Dynamics
Author 
Liu, Fenrong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1344-4
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
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:
79. 
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:
80. 
Cover image for Giving Reasons A Linguistic-Pragmatic Approach to Argumentation Theory
Giving Reasons A Linguistic-Pragmatic Approach to Argumentation Theory
Author 
Bermejo Luque, Lilian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1761-9
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Model-Based Requirements Engineering
Model-Based Requirements Engineering
Author 
Holt, Jon Perry, Simon A Brownsword, Mike
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBPC009E
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
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:
83. 
Cover image for Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright
Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright
Author 
De Pellegrin, Enzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9909-0
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Brazilian Studies in Philosophy and History of Science An account of recent works
Brazilian Studies in Philosophy and History of Science An account of recent works
Author 
Krause, Décio. editor. Videira, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9422-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action