An Introduction to Mathematical Logic and Type Theory | Kaicus Deutschland

An Introduction to Mathematical Logic and Type Theory

104.30 EUR 25% 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