Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
12 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
Cover image for Intensional and higher-order modal logic with applications to Montague semantics
Intensional and higher-order modal logic with applications to Montague semantics
Author 
Gallin, Daniel.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444110022
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic: A Brief Course
Logic: A Brief Course
Author 
Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2361-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logica: Metodo Breve
Logica: Metodo Breve
Author 
Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1884-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Handbook of logic and language
Handbook of logic and language
Author 
Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
Author 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The Big Typescript, TS. 213
The Big Typescript, TS. 213
Author 
Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html
John Wiley http://dx.doi.org/10.1002/9780470752906
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Handbook of logic and language
Handbook of logic and language
Author 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The logical systems of Lesniewski
The logical systems of Lesniewski
Author 
Luschei, Eugene C.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: 
Availability 
Online Library~1
Available:
Copies: