| NCID | BA06868186 |
| タイトル | Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont |
| 出版者 | Cambridge : Cambridge University Press , 1989 |
| 形態 | xi, 176 p. ; 26 cm |
| 注記 | Bibliography: p. 162-165
Includes index |
| シリーズ名 | Cambridge tracts in theoretical computer science ; 7
|
| 分類 | LCC:QA9 |
| 件名 | LCSH:Logic,Symbolicandmathematics
|
| 著者情報 | Girard, Jean-Yves
Taylor, Paul
Lafont, Yves
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | アメリカ合衆国 |
| ISBN | 0521371813
|