| 出版情報 |
Berlin : Springer , 1973 |
| 大きさ |
xvii, 485 p. : ill. ; 24 cm |
| 一般注記 |
Bibliography: p. [462]-475 |
| 著者標目 |
*Troelstra, A. S. (Anne Sjerp)
|
| 件 名 |
LCSH:Intuitionistic mathematics
LCSH:Proof theory
LCSH:Model theory
|
| 分 類 |
LCC:QA3
LCC:QA9.47
DC:510/.8 s
DC:511/.3
|
| 本文言語 |
英語 |
| 書誌ID |
TB10054263 |
| ISBN |
0387064915 |
| NCID |
BA06811112
|
| 巻冊次 |
: u.s. ; ISBN:0387064915
: gw ; ISBN:3540064915
|
