Beweistheorie vonKPN
- 1 March 1980
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 20 (1-2) , 53-63
- https://doi.org/10.1007/bf02011138
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Set Theoretic Foundations for Constructive AnalysisAnnals of Mathematics, 1977
- Proof TheoryPublished by Springer Nature ,1977
- Admissible Sets and StructuresPublished by Springer Nature ,1975
- Normal derivability in classical logicLecture Notes in Mathematics, 1968