Henk Barendregt, Wil Dekkers, Richard Statman
New York : Association for Symbolic Logic
Cambridge : Cambridge University Press, 2013
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
410.9-B21
|
10013007372 |
一般図書 |
|
|
|
|
2013
xxii, 833 p. ; 26 cm
Includes bibliographical references (p. 791-813) and index
アメリカ合衆国
英語 (eng)
英語 (eng)
Barendregt, H. P. (Hendrik Pieter), 1947- [ Barendregt, Henk ] [ Barendregt, Hendrik Pieter ] [ Barendregt, Henk P ]
9780521766142
BB12819706
