George Boolos. The unprovability of consistency. An essay in modal logic. Cambridge University Press, Cambridge etc. 1979, viii + 184 pp.
- 1 December 1981
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 46 (4) , 871-873
- https://doi.org/10.2307/2273239
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: