An Introduction to Mathematical Logic and Type Theory

121.98 EUR 12% Off 139.09 EUR

Dieses Buch führt durch die Grundlagen der mathematischen Logik und Typentheorie, erläutert Beweistechniken und zeigt, wie man mit Typenformalen Systemen wahre Aussagen konstruiert.

Marke: Andrews, Peter B.
ISBN: 1402007639
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen