M Detlefsenのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for M Detlefsen · Proof, Logic and Formalization (Hardcover Book) (1992)

Proof, Logic and Formalization (1992)

Cover for M Detlefsen · Proof and Knowledge in Mathematics (Hardcover Book) (1992)

Proof and Knowledge in Mathematics (1992)