عنوان
پدید آورنده
موضوع
رده
QA 9.5 .K74L2
QA
9
.
5
.
K74L2
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
F
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Lambda-calcul : types et modeles
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Paris
Name of Publisher, Distributor, etc.
Masson
Date of Publication, Distribution, etc.
1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 176 p
SERIES
Other Title Information
Etudes et recherches en informatique
GENERAL NOTES
Text of Note
Bibliography: p.]167[-170
Text of Note
ISBN: 2225820910
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Jean-Louis Krivine
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Lambda calculus
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
5
.
K74L2
OTHER CLASS NUMBERS
Class number
NO
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Krivine, Jean Louis
Relator Code
AU
TI
SE
