Number of the records: 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. Available: https://doi.org/10.1017/S175502032000012X.
Number of the records: 1