Del i serien University Series in Mathematics
1 589 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.