| 出版情報 |
Groningen : Wolters-Noordhoff , 1968 |
| 大きさ |
248 p. : port. ; 25 cm |
| 一般注記 |
Includes bibliographies |
| 著者標目 |
Heyting, A. (Arend), 1898-
Dalen, D. van (Dirk), 1932-
Scott, Dana
Troelstra, A. S. (Anne Sjerp)
|
| 件 名 |
LCSH:Logic, Symbolic and mathematical -- Addresses, essays, lectures
全ての件名で検索
LCSH:Heyting, A. (Arend), 1898-
|
| 分 類 |
LCC:QA9
DC:164
|
| 本文言語 |
英語,フランス語 |
| 書誌ID |
TB10013978 |
| NCID |
BA00140885
|
