Normal view
MARC view
- CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL(Término temático)
Machine generated authority record.
Work cat.: (AR-SmCIES)26414: Kleene, Stephen Cole 8022, Introduction to metamathematics, 1952.