Limit Search Results
Author
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
624 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Algorithms in Invariant Theory
Algorithms in Invariant Theory
Author 
Sturmfels, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Author 
Kohlenbach, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77533-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Field Arithmetic
Field Arithmetic
Author 
Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77270-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for New Developments in Formal Languages and Applications
New Developments in Formal Languages and Applications
Author 
Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Author 
Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87531-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie
Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie
Author 
Hausdorff, Felix. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76807-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Petri-Netze
Petri-Netze
Author 
Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76971-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
Author 
Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8518-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action