Rosser's improvement of Gödel's incompleteness theorem

GPTKB entity

Statements (13)