Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, Engelska, 2023
829 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (2)
Produktinformation
- Utgivningsdatum2023-01-02
- Mått156 x 234 x 17 mm
- Vikt440 g
- FormatHäftad
- SpråkEngelska
- Antal sidor312
- FörlagBirkhauser
- ISBN9783031211133