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
Barendregt, H. P.
Title
The lambda calculus : its syntax and semantics.
Publication Info
Amsterdam : Elsevier Science Pub. Co, 1984.
Edition
Rev. ed.
Location/Availability
More Details
Full Record
Web View
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9.5 B2
8 WEEK LOAN
AVAILABLE
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Descript
[637p.]
Edition
Rev. ed.
ISBN
0444875085
0444867481
Click on the terms below to find similar items in the catalogue
Author
Barendregt, H. P.
Series
Studies in logic and the foundations of mathematics ; v.103
Subject
Lambda calculus.
Descript
[637p.]
Edition
Rev. ed.
ISBN
0444875085
0444867481
Author
Barendregt, H. P.
Series
Studies in logic and the foundations of mathematics ; v.103
Subject
Lambda calculus.
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 9.5 B2
8 WEEK LOAN
AVAILABLE
Subject
Lambda calculus.
Descript
[637p.]
ISBN
0444875085
0444867481
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
