Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
AUTHORS (1-5 of 5)
Etchemendy John 1952
1
Mark
Hyperproof for the Macintosh
Barwise, Jon.
Stanford, Calif. : CSLI Publications, 1994.
1994
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76 B2
8 WEEK LOAN
AVAILABLE
2
Mark
The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4
Barwise, Jon.
Stanford, Calif. : Center for the Study of Language and Information, 1992.
1992
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 128 B2
8 WEEK LOAN
AVAILABLE
3
Mark
Language, proof, and logic.
Barker-Plummer, Dave.
Stanford, Calif. : CSLI Publications, 2011.
2011
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC71 .B25 2011
8 WEEK LOAN
AVAILABLE
BJL Reading Room
BC71 .B25 2011
CD-ROM + software manual
7 DAYS
ASK at the Reading Room
BJL 3rd Floor
BC71 .B25 2011
8 WEEK LOAN
AVAILABLE
4
Mark
The liar : an essay on truth and circularity
Barwise, Jon.
New York : Oxford University Press, 1987.
1987
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 199 P2 B2
8 WEEK LOAN
AVAILABLE
5
Mark
Turing's World 3.0 for the Macintosh : an introduction to computability theory
Barwise, Jon.
Stanford, Calif. : CSLI Publications, 1993.
1993
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76 B2
8 WEEK LOAN
AVAILABLE