>> Amazon.co.jp
このページのQRコード

Combinatory logic

種類:
図書
責任表示:
Haskell B. Curry, Robert Feys ; with two sections by William Craig
出版情報:
Amsterdam : North-Holland Pub. Co., 1958-1972
著者名:
Curry, Haskell B. (Haskell Brooks), 1900- <DA0166900X>  
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
ISBN:
9780720422085 [0720422086] (v. 2)  CiNii Books  Calil
注記:
Vol. 2 : imprint covered by label : Distributed in the U.S.A. by Humanities Press, New York
Vol. 2 by H.B. Curry, J.R. Hindley and J.P. Seldin
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Combinatory logic : pure, applied and typed

Bimbó, Katalin, 1963-

CRC Press, Taylor & Francis Group : Chapman & Hall Book
7 図書 TO MOCK A MOCKINGBIRD : AND OTHER LOGIC PUZZLES INCLUDING AN AMAZING ADVENTURE IN COMBINATORY LOGIC

SMULLYAN, RAYMOND

OXOFRD UNIV. PRESS
2 図書 The combinatory programme

Engeler, Erwin, 1930-, Aberer, K.

Birkhäuser
8 図書 A mathematical introduction to logic

Enderton, Herbert B

Academic Press
3 図書 Outlines of a formalist philosophy of mathematics

Curry, Haskell B. (Haskell Brooks), 1900-

North-Holland Pub. Co.
9 図書 A STUDY OF HEGEL'S LOGIC

MURE G. R. B.

GREENWOOD PRESS
4 図書 Lambda-calculus and combinators, an introduction

Hindley, J. Roger, Seldin, Jonathan P

Cambridge University Press
10 図書 Introduction to fluid logic

Fitch, Ernest C., Surjaatmadja, J. B.

Hemisphere Pub. Corp.
5 図書 Introduction to combinators and λ-calculus

Hindley, J. Roger, Seldin, Jonathan P

Cambridge University Press
11 図書 Handbook of logic and language

Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter

Elsevier, MIT Press
6 図書 Lambda-calculus, combinators, and functional programming

Révész, György E.

Cambridge University Press
12 図書 Universal algebra, algebraic logic, and databases

Plotkin, B. I. (Boris Isaakovich)

Kluwer Academic Publishers