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 - 9783031211140 - 3 janvier 2024
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 2023 edition

Prix
€ 58,49

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 :

295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 3 janvier 2024
ISBN13 9783031211140
Éditeurs Birkhauser Verlag AG
Pages 295
Dimensions 234 × 156 × 20 mm   ·   488 g
Langue et grammaire Allemand