Normal view
MARC view
- Lógica Pura
Lógica Pura (TÉRMINO TEMÁTICO)
Machine generated authority record.
Work cat.: (ES-SlBCS)773736: López Brugos, José Antonio 241824, La prueba automática de teoremas lógicos (PATL) en la lógica pura y en la filosofía de la lógica