Normal view
MARC view
- Pruebas de Desengaño
Pruebas de Desengaño (TÉRMINO TEMÁTICO)
Machine generated authority record.
Work cat.: (ES-SlBCS)777687: Finsler, Paul 189999, Formal proofs and undecidability