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
SUBJECTS (1-5 of 5)
Logic Puzzles
1
Mark
The lady or the tiger? : and other logic puzzles, including a mathematical novel that features Gödel
Smullyan, Raymond M.
New York : Knopf, 1982.
1982
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room Mezzanine
793.73 SMU
7 DAYS
AVAILABLE
Logic Symbolic And Mathematical
2
Mark
ACM Transactions on computational logic.
New York : Association for Computing Machinery, 2000-2002.
2002
PERIODICAL
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL basement journals
QA 75.5 A87
2000/02,v.1-3
7 DAYS
ASK at the Reading Room
3
Mark
Alfred Tarski : life and logic
Feferman, Anita Burdman.
Cambridge : Cambridge University Press, 2004.
2004
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 29 T32 F2
8 WEEK LOAN
AVAILABLE
4
Mark
Annals of mathematical logic.
Amsterdam : North-Holland.
PERIODICAL
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL basement journals
BC 135 A53
1970, v.1
7 DAYS
ASK at the Reading Room
BJL basement journals
BC 135 A53
1970, v.2
7 DAYS
ASK at the Reading Room
BJL basement journals
BC 135 A53
1971, v.3
7 DAYS
ASK at the Reading Room
Click to view copies/volumes at all libraries
5
Mark
Annals of pure and applied logic.
Amsterdam : North-Holland, 1983-1989.
1989
PERIODICAL
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL basement journals
BC 135 A53
1983, v.24
7 DAYS
ASK at the Reading Room
BJL basement journals
BC 135 A53
1984, v.26
7 DAYS
ASK at the Reading Room
BJL basement journals
BC 135 A53
1985, v.28
7 DAYS
ASK at the Reading Room
Click to view copies/volumes at all libraries