عنوان
پدید آورنده
موضوع
رده
QA9.5 .C87
QA9
.
5
.
C87
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0720422086
(Number (ISBN
9780720422085
NATIONAL BIBLIOGRAPHY NUMBER
Number
b748185
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Combinatory logic
General Material Designation
[Book]
First Statement of Responsibility
[by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam,
Name of Publisher, Distributor, etc.
North-Holland Publishing Company,
Date of Publication, Distribution, etc.
1958-72.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
2 volumes
Dimensions
24 cm
SERIES
Series Title
Studies in logic and the foundations of mathematics
GENERAL NOTES
Text of Note
Vol. 2 by H.B. Curry, J.R. Hindley and J.P. Seldin.
Text of Note
Vol. 2: imprint covered by label: Distributed in the U.S.A. by Humanities Press, New York.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
(CREDITS NOTE (PROJECTED AND VIDEO MATERIAL AND SOUND RECORDINGS
Text of Note
Vol. 1 is by Haskell B. Curry and Robert Feys, with two sections by William Craig - Vol. 2 is by H.B. Curry, J.R. Hindley and J.P. Seldin.
CONTENTS NOTE
Text of Note
Contiene: Vol. 1 -- Vol. 2.
0
OTHER EDITION IN ANOTHER MEDIUM
Title
Combinatory logic.
TOPICAL NAME USED AS SUBJECT
Combinatory logic.
Logique combinatoire.
Combinatory logic.
Combinatory logic.
Logic, Symbolic and mathematical.
Logica Matematica.
Logique combinatoire.
DEWEY DECIMAL CLASSIFICATION
Number
511/
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
5
Class number
BC135
Book number
.
C87
Book number
.
C87
OTHER CLASS NUMBERS
Class number
03B40
Class number
03D99
Class number
P
61
System Code
msc
System Code
msc
System Code
blsrissc
PERSONAL NAME - PRIMARY RESPONSIBILITY
Curry, Haskell B., (Haskell Brooks),1900-1982.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Craig, William,1918-
Feys, Robert
Hindley, J. Roger
Seldin, J. P.
ORIGINATING SOURCE
Date of Transaction
20201204081426.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
