このページのリンク

Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)
(Lecture notes in mathematics ; 344)

データ種別 図書
出版者 Berlin : Springer
出版年 1973
本文言語 英語
大きさ xvii, 485 p. : ill. ; 24 cm

所蔵情報を非表示

積層4層 : gw 410.8||L||344 9851425157
3540064915

書誌詳細を非表示

一般注記 Bibliography: p. [462]-475
著者標目  *Troelstra, A. S. (Anne Sjerp)
分 類 LCC:QA3
LCC:QA9.47
DC:510/.8 s
DC:511/.3
件 名 LCSH:Intuitionistic mathematics
LCSH:Proof theory
LCSH:Model theory
書誌ID TY00017461
ISBN 0387064915
NCID BA06811112