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)