Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Logic in Reality
Logic in Reality
Author 
Brenner, Joseph E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Introduction to Logic and Theory of Knowledge Lectures 1906/07
Introduction to Logic and Theory of Knowledge Lectures 1906/07
Author 
Husserl, Edmund. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6727-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for Extensionalism The Revolution in Logic
Extensionalism The Revolution in Logic
Author 
Bar-Am, Nimrod. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8168-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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: