Tem uma conta?
Inicie sessão para finalizar a compra mais rápido.
A carregar...
🎁 Nemokamas pristatymas nuo 23 € 🎁
Grigori Mints
Temos em stock
Não foi possível carregar a disponibilidade de recolha
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Short Introduction to Intuitionistic ...