Automated theorem-proving in non-classical logics (Research notes in theoretical computer science) - Tapa blanda

(Ningún ejemplar disponible)

• Búsqueda avanzada
• Portada IberLibro

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en AbeBooks, le avisaremos.