Biblioteca San Esteban Salamanca catalog

Normal view MARC view ISBD view

López Brugos, José Antonio

La prueba automática de teoremas lógicos (PATL) en la lógica pura y en la filosofía de la lógica / José Antonio López Brugos

Materias-Término de materia:
Lógica Pura

Print
Suggest for purchase
More searches

Search for this title in:
Otras bibliotecas (WorldCat) Otras bases de datos (Google Scholar) Tiendas Online (Bookfinder.com) Open Library (openlibrary.org)