Normal view
MARC view
- Lógica Intuicionista
Lógica Intuicionista (TÉRMINO TEMÁTICO)
Machine generated authority record.
Work cat.: (ES-SlBCS)520888: Paiva, Valéria de 150708, A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions