Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Constructive order types
Constructive order types
Author 
Crossley, John N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534200
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS
PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS
Author 
Bacon, Andrew, 1985-
Preferred Shelf Number 
BC135
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003039181
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Towards a General Theory of Classifications
Towards a General Theory of Classifications
Author 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logical labyrinths
Logical labyrinths
Author 
Smullyan, Raymond M., author.
Preferred Shelf Number 
QA9 .S575 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: