Notes on constructive mathematics

著者

• Martin-Löf, Per

書誌事項

Notes on constructive mathematics

by Per Martin-Löf

Almqvist & Wiksell, 1970

注記

Also presented author's thesis (Ph.D.--Stockholms universitet, 1970)

Bibliography: p. [104]-106

Includes index

詳細情報

• NII書誌ID(NCID): BA63321782
• 出版国コード: sw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stockholm
• ページ数/冊数: 109 p.
• 大きさ: 24 cm