Number of the records: 1
How Much Propositional Logic Suffices for Rosser's Undecidability Theorem?
- 1.BADIA, G., CINTULA, Petr, HÁJEK, Petr, TEDDER, Andrew. 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. Available: doi: 10.1017/S175502032000012X.
Number of the records: 1