著者典拠情報

著者標目形：
Seldin, Jonathan P
属性：
Personal
から見よ参照形：
Seldin, J. P
注記：
Combinatory logic, lambda-calculus, and formalism, 1980 (a.e.) CIP galley t.p. (J. P. Seldin) CIP galley pref. signed (Jonathan P. Seldin) CIP data sheet (Seldin, Jonathan Paul)
著者典拠ID：
DA0033765X


1.

図書
図書
1. Lambda-calculus and combinators, an introduction (: hbk)
J. Roger Hindley, Jonathan P. Seldin
出版情報: Cambridge : Cambridge University Press, c2008
所蔵情報: 図書館
2.

図書
図書
2. Introduction to combinators and λ-calculus (: hard ; : pbk)
J. Roger Hindley, Jonathan P. Seldin
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986
シリーズ名: London Mathematical Society student texts ; 1
所蔵情報: 図書館