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-4 of 4)
QA 9 A5
1
Mark
An introduction to mathematical logic and type theory : to truth through proof.
Andrews, Peter B.
Orlando : Academic Press, 1986.
1986
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9 A5
8 WEEK LOAN
AVAILABLE
QA 9 B6
2
Mark
Logic and proof
Bittinger, Marvin L., author.
Reading, Mass. : Addison-Wesley, 1970.
1970
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9 B6
8 WEEK LOAN
AVAILABLE
BJL 3rd Floor
QA 9 B6
8 WEEK LOAN
AVAILABLE
QA 9 B8
3
Mark
Fun with logic.
Brandes, Louis Grant.
Portland, MA : J Weston Walch, 1983.
1983
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Education Resources 5th floor
q QA 9 B8
8 WEEK LOAN
AVAILABLE
QA 9 B9
4
Mark
The real world and mathematics.
Burkhardt, Hugh.
Glasgow : Blackie and Son, 1981.
1981
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9 B9
8 WEEK LOAN
AVAILABLE