-
中文图书1.Combinatory logic. V. 1 / 612.5/C937
馆藏复本:1
可借复本:1 [by] Haskell B. Curry [and] Robert Feys ; with two sections by William Craig.
North-Holland Pub. Co., 1958.
(0) 馆藏 -
西文图书2.Algebra of proofs / O141.2/SME
馆藏复本:1
可借复本:1 M. E. Szabo.
North-Holland Pub. Co. : 1978.
(0) 馆藏 -
西文图书3.Recursive programming techniques / TP31/BHW
馆藏复本:1
可借复本:1 William H. Burge.
Addison-Wesley Pub. Co., c1975.
(0) 馆藏