Limit Search Results
Author
SpringerLink (Online service)
(48)
Gabbay, Dov M. author.
(4)
Schlechta, Karl. author.
(4)
Carnielli, Walter. author.
(2)
Gupta, Amitabha. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
50 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Author 
Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Constructive Negations and Paraconsistency
Constructive Negations and Paraconsistency
Author 
Odintsov, Sergei P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6867-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Institution-independent Model Theory
Institution-independent Model Theory
Author 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Author 
Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0784-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
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:
42. 
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:
43. 
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:
44. 
Cover image for The Arché Papers on the Mathematics of Abstraction
The Arché Papers on the Mathematics of Abstraction
Author 
Cook, Roy T. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4265-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Ernst Zermelo An Approach to His Life and Work
Ernst Zermelo An Approach to His Life and Work
Author 
Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-49553-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
Author 
Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5012-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for A logical Approach to Philosophy Essays in Honour of Graham Solomon
A logical Approach to Philosophy Essays in Honour of Graham Solomon
Author 
Devidi, David. Kenyon, Tim. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4054-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Cambridge and Vienna Frank P. Ramsey and the Vienna Circle
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle
Author 
Galavotti, Maria Carla. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4101-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action