Počet záznamů: 1
How Much Propositional Logic Suffices for Rosser's Undecidability Theorem?
- 1.BADIA, G., CINTULA, P., HÁJEK, P., TEDDER, A. How Much Propositional Logic Suffices for Rosser's Undecidability Theorem? Review of Symbolic Logic. 2022, 15(2), 487-504. ISSN 1755-0203. E-ISSN 1755-0211. Dostupné z: doi: 10.1017/S175502032000012X.
Počet záznamů: 1