1
Published 2021
Springer International Publishing
... of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians...