|
" Combinatory logic "
[by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
993815
|
| Doc. No
|
:
|
b748185
|
| Main Entry
|
:
|
Curry, Haskell B., (Haskell Brooks),1900-1982.
|
| Title & Author
|
:
|
Combinatory logic\ [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
|
| Publication Statement
|
:
|
Amsterdam,: North-Holland Publishing Company,, 1958-72.
|
| Series Statement
|
:
|
Studies in logic and the foundations of mathematics
|
| Page. NO
|
:
|
2 volumes; 24 cm
|
| ISBN
|
:
|
0720422086
|
|
|
:
|
: 9780720422085
|
| Notes
|
:
|
Vol. 2 by H.B. Curry, J.R. Hindley and J.P. Seldin.
|
|
|
:
|
Vol. 2: imprint covered by label: Distributed in the U.S.A. by Humanities Press, New York.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Contents
|
:
|
Contiene: Vol. 1 -- Vol. 2.
|
| Subject
|
:
|
Combinatory logic.
|
| Subject
|
:
|
Logique combinatoire.
|
| Subject
|
:
|
Combinatory logic.
|
| Subject
|
:
|
Combinatory logic.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Logica Matematica.
|
| Subject
|
:
|
Logique combinatoire.
|
| Dewey Classification
|
:
|
511/.3
|
| LC Classification
|
:
|
QA9.5.C87
|
|
|
:
|
BC135.C87
|
| NLM classification
|
:
|
03B40msc
|
|
|
:
|
03D99msc
|
|
|
:
|
P 61blsrissc
|
| Added Entry
|
:
|
Craig, William,1918-
|
|
|
:
|
Feys, Robert
|
|
|
:
|
Hindley, J. Roger
|
|
|
:
|
Seldin, J. P.
|
| |