Automated Reasoning in Higher-order Logic
Set Comprehension and Extensionality in Church's Type Theory
Häftad, Engelska, 2007
399 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum2007-10-22
- Mått156 x 234 x 29 mm
- Vikt781 g
- SpråkEngelska
- Antal sidor564
- FörlagCollege Publications
- EAN9781904987574
Hoppa över listan