Short Introduction to Intuitionistic Logic
Häftad, Engelska, 2013
1 999 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Produktinformation
- Utgivningsdatum2013-04-26
- Mått155 x 235 x 9 mm
- Vikt230 g
- FormatHäftad
- SpråkEngelska
- SerieUniversity Series in Mathematics
- Antal sidor131
- FörlagSpringer-Verlag New York Inc.
- ISBN9781475773194