著者典拠情報

著者標目形：
Curry, Haskell B. (Haskell Brooks), 1900-
属性：
Personal
日付：
1900
から見よ参照形：
Curry, Haskell Brooks, 1900-
Curry, H. B. (Haskell Brooks), 1900-
注記：
LCCN 61-17746: His Foundations of mathematical logic, 1963 (hdg.: Curry, Haskell Brooks, 1900- )
LC data base, 5-11-84 (hdg.: Curry, Haskell Brooks, 1900- ; usage: Haskell B. Curry; H.B. Curry)
著者典拠ID：
DA0166900X


1.

図書
図書
1. Combinatory logic (v. 1 ; v. 2)
Haskell B. Curry, Robert Feys ; with two sections by William Craig
出版情報: Amsterdam : North-Holland Pub. Co., 1958-1972
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館
2.

図書
図書
2. Outlines of a formalist philosophy of mathematics
[by] Haskell B. Curry
出版情報: Amsterdam : North-Holland Pub. Co., c1951
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館