Limit Search Results
Author
SpringerLink (Online service)
(35)
Ditmarsch, Hans. editor.
(2)
Gupta, Amitabha. editor.
(2)
Lucchetti, Roberto. editor.
(2)
van Benthem, Johan. editor.
(2)
Language
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
44 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Author 
Kaiser, Łukasz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22807-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Author 
Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23211-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Author 
Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24130-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Author 
Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
Author 
Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
Author 
DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Games, Norms and Reasons Logic at the Crossroads
Games, Norms and Reasons Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0714-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Łukasiewicz calculus and MV-algebras
Advanced Łukasiewicz calculus and MV-algebras
Author 
Mundici, D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0840-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
Cover image for After Gödel Platonism and rationalism in mathematics and logic
After Gödel Platonism and rationalism in mathematics and logic
Author 
Tieszen, Richard L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics
Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics
Author 
Goldblatt, Robert.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets