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
Record:
Author
Barwise, Jon.
Title
The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 / Jon Barwise & John Etchemendy.
Publication Info
Stanford, Calif. : Center for the Study of Language and Information, 1992.
Edition
3rd ed.
Location/Availability
More Details
Full Record
Web View
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 128 B2
8 WEEK LOAN
AVAILABLE
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Descript
319p. + 1 computer disc.
Edition
3rd ed.
Note
Includes 1 computer disc.
ISBN
0937073903
Click on the terms below to find similar items in the catalogue
Author
Barwise, Jon.
Series
CSLI lecture notes ; no.34
Subject
First-order logic.
Alt author
Etchemendy, John, 1952-
Descript
319p. + 1 computer disc.
Edition
3rd ed.
Note
Includes 1 computer disc.
ISBN
0937073903
Author
Barwise, Jon.
Series
CSLI lecture notes ; no.34
Subject
First-order logic.
Alt author
Etchemendy, John, 1952-
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
BC 128 B2
8 WEEK LOAN
AVAILABLE
Subject
First-order logic.
Descript
319p. + 1 computer disc.
Note
Includes 1 computer disc.
Alt author
Etchemendy, John, 1952-
ISBN
0937073903
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