Limit Search Results
Author
SpringerLink (Online service)
(24)
Wallis, W.D. author.
(2)
Andreescu, Titu. author.
(1)
Atanassov, Krassimir T. author.
(1)
Ayeni, Babatunde J.
(1)
Language
Subject
Logic, Symbolic and mathematical.
(33)
Mathematics.
(13)
Computer science.
(10)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(6)
Combinatorics.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
38 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Lecture Notes on O-Minimal Structures and Real Analytic Geometry
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
Author 
Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4042-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Author 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Author 
Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4435-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Around and Beyond the Square of Opposition
Around and Beyond the Square of Opposition
Author 
Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0379-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Author 
Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28412-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Author 
Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
Author 
Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31555-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for The Mathematical Experience, Study Edition
The Mathematical Experience, Study Edition
Author 
Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8295-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences
A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences
Author 
Wallis, W.D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8319-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic
Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic
Author 
Baltas, Aristeidēs. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Introduction to Mathematical Structures and Proofs
Introduction to Mathematical Structures and Proofs
Author 
Gerstein, Larry J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4265-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Truth and Falsehood An Inquiry into Generalized Logical Values
Truth and Falsehood An Inquiry into Generalized Logical Values
Author 
Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0907-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action