عنوان
پدید آورنده
موضوع
رده
QA 9.5 .H56L3
QA
9
.
5
.
H56L3
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Lambda-calculus and combinators : an introduction
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge, U.K.
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
c2008
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 345 p.: ill.
GENERAL NOTES
Text of Note
Bibliography: p.323-333
Text of Note
ISBN: 0521898854
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
J. Roger Hindley, Jonathan P. Seldin
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Lambda calculus
Entry Element
، Combinatory logic
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
5
.
H56L3
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Hindley, J. Roger
Relator Code
AU
AU Seldin, Jonathan Paul
TI
