Combinatory logic

Uloženo v:
Podrobná bibliografie
Hlavní autor: Curry, Haskell B. (Haskell Brooks), 1900-
Médium: Kniha
Jazyk:English
Vydáno: Amsterdam, North-Holland Pub. Co., 1958-72.
Edice:Studies in logic and the foundations of mathematics ;
Témata:
LEADER 01197nam a22002891 4500
001 c000068250
003 CARM
005 00000000000000.0
008 841129m19581972ne b 00010 eng
019 1 |a 3670527  |z 25022922  |5 LACONCORD2021 
020 |a 0720422086 (v. 2) 
035 |a (OCoLC)373234  |5 LACONCORD2021 
040 |a DLC/ICU  |c ICU 
050 0 0 |a QA9.5  |b .C87 
100 1 |a Curry, Haskell B.  |q (Haskell Brooks),  |d 1900- 
245 1 0 |a Combinatory logic  |c [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. 
260 |a Amsterdam,  |b North-Holland Pub. Co.,  |c 1958-72. 
300 |a 2 v.  |c 24 cm. 
440 0 |a Studies in logic and the foundations of mathematics ; 
500 |a Vol. 2: imprint covered by label: Distributed in the U.S.A. by Humanities Press, New York. 
500 |a Vol. 2 by H.B. Curry, J.R. Hindley and J.P. Seldin. 
504 |a Includes bibliographies. 
650 0 |a Combinatory logic. 
852 8 |b CARM  |h A2:AK19F0  |i C03575  |p 0191221  |f BK 
082 0 4 |a 511/.3 
999 f f |i 0ff81d73-716d-5f8d-870b-452d5b641a77  |s 6892e236-99a9-5b5b-abbf-7411efb34223 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C03575  |f A2:AK19F0  |h Other scheme  |i book  |m 0191221