Proof theory, constructive mathematics

Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)

この本の情報

書名 Proof theory, constructive mathematics
著作者等 Dalen, D. van
Kister, Jane E.
Lenski, Wolfgang
Müller, G. H.
Troelstra, A. S.
書名別名 Bibliography of mathematical logic
シリーズ名 Perspectives in mathematical logic
出版元 Springer-Verlag
刊行年月 c1987
ページ数 xli, 405 p.
大きさ 28 cm
ISBN 0387155244
3540155244
NCID BA00749049
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想