Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
Search Type1
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Record:
Author
Barwise, Jon.
Title
Hyperproof for the Macintosh / John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz.
Publication Info
Stanford, Calif. : CSLI Publications, 1994.
Location/Availability
More Details
Full Record
Web View
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76 B2
8 WEEK LOAN
AVAILABLE
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Descript
255p.
Note
Includes 1 computer disk, kept at the Issue Desk (for MacIntosh machine only).
ISBN
1881526119
Click on the terms below to find similar items in the catalogue
Author
Barwise, Jon.
Series
CSLI lecture notes ; no. 42
Subject
Hyperproof.
Computer science.
Logic, Symbolic and mathematical.
Macintosh (Computer)
Alt author
Etchemendy, John, 1952-
Descript
255p.
Note
Includes 1 computer disk, kept at the Issue Desk (for MacIntosh machine only).
ISBN
1881526119
Author
Barwise, Jon.
Series
CSLI lecture notes ; no. 42
Subject
Hyperproof.
Computer science.
Logic, Symbolic and mathematical.
Macintosh (Computer)
Alt author
Etchemendy, John, 1952-
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76 B2
8 WEEK LOAN
AVAILABLE
Subject
Hyperproof.
Computer science.
Logic, Symbolic and mathematical.
Macintosh (Computer)
Descript
255p.
Note
Includes 1 computer disk, kept at the Issue Desk (for MacIntosh machine only).
Alt author
Etchemendy, John, 1952-
ISBN
1881526119
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Links and services for this item:
Persistent link to this item
Click link and copy URL from browser navigation toolbar