Kas teil on konto?
Kiiremaks kontrollimiseks logige sisse aadressil.
Laadimine...
🎁 Nemokamas pristatymas nuo 23 € 🎁
Grigori Mints
Meil on laos
Ei ole võimalik üles laadida tagasivõtmise kättesaadavust
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Short Introduction to Intuitionistic ...