Have an account?
Log in to check out faster.
Loading...
🎁 Nemokamas pristatymas nuo 23 € 🎁
Grigori Mints
In stock
Couldn't load pickup availability
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Short Introduction to Intuitionistic ...