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