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
BJL CLASSMARKS (1-5 of 5)
BC 135 C7
1
Mark
Combinatory logic.
Amsterdam : North-Holland, 1958.
1958
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 135 C7
v.1
8 WEEK LOAN
AVAILABLE
BJL 3rd Floor
BC 135 C7
v.2
8 WEEK LOAN
AVAILABLE
2
Mark
Intuitionism and proof theory
Conference on Intuitionism and Proof Theory, Buffalo (N.Y.), 1968.
Amsterdam : North-Holland, 1970.
1970
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 135 C7
8 WEEK LOAN
AVAILABLE
BJL 3rd Floor
BC 135 C7
8 WEEK LOAN
AVAILABLE
3
Mark
Symbolic logic.
Copi, Irving M.
New York : Macmillan, 1973.
1973
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 135 C7
8 WEEK LOAN
AVAILABLE
4
Mark
Symbolic logic.
Copi, Irving M.
New York : Macmillan, 1954.
1954
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 135 C7
8 WEEK LOAN
AVAILABLE
BJL 3rd Floor
BC 135 C7
---
AVAILABLE
5
Mark
The theory of logical types.
Copi, Irving M.
London : Routledge & Kegan Paul, 1971.
1971
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 135 C7
8 WEEK LOAN
AVAILABLE