Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Livres - Birkhauser Verlag AG - 9783031853517 - 24 avril 2025
Si la couverture et le titre ne correspondent pas, le titre est correct.

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic Second Edition 2025 edition

Prix
€ 71,99

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 24 avril 2025
ISBN13 9783031853517
Éditeurs Birkhauser Verlag AG
Pages 319
Dimensions 161 × 244 × 26 mm   ·   646 g
Langue et grammaire Allemand