4.5
Història 
Agenda 
Llibreries 
Inici 
Detalls del llibre
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Llegir més - Autor/a Grigori Mints
- ISBN13 9780306463945
- ISBN10 0306463946
- Pàgines 131
- Any Edició 2000
- Fecha de publicación 31/10/2000
- Idioma Alemany, Francès
Ressenyes i valoracions
Sigues la primera persona a valorar-lo!
Has llegit Short Introduction to Intuitionistic Logic?
Short Introduction to Intuitionistic Logic (Alemany, Francès)
- De
- Grigori Mints
- 9780306463945
151,90€
159,90€
-5%
Enviament Gratuït
No disponible
151,90€
159,90€
-5%
Enviament Gratuït
No disponible
Devolució gratuïta
Gràcies per comprar a llibreries reals!
Whatsapp
Facebook
Linkedin
X
