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

9783030508784


Decidability--Mathematical logic

511.3 P6971 Ca