An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series) (Applied Logic Series, 27, Band 27) | Kaicus Deutschland

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series) (Applied Logic Series, 27, Band 27)

96.26 EUR 0% Off 96.29 EUR

Marke: Andrews, Peter B.
ISBN: 9048160790
MPN: biography