Reasoning in Simple Type Theory
Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Häftad, Engelska, 2008
399 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2008-12-01
- Mått156 x 234 x 24 mm
- Vikt668 g
- FormatHäftad
- SpråkEngelska
- Antal sidor480
- FörlagCollege Publications
- ISBN9781904987703
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
- Signerad
Del 1
- Nyhet
- Nyhet
- Nyhet
Del 5
Del 1
- Nyhet
Del 1
- Nyhet
Del 1
- Nyhet
Del 6