Plato, Jan von Can mathematics be proved consistent? : Gödel's shorthand notes & lectures on incompleteness \ Jan von Plato - 2020. - ix, 263 p, ; 24 cm. Include Index ISBN: 9783030508784 Subjects--Topical Terms: Decidability--Mathematical logic Dewey Class. No.: 511.3 P6971 Ca