An addendum
- 31 December 1971
- journal article
- correction
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 3 (4) , 437-439
- https://doi.org/10.1016/0003-4843(71)90013-1
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Formal systems for some branches of intuitionistic analysisAnnals of Mathematical Logic, 1970