Über das Markov-Prinzip
- 1 December 1977
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 18 (1) , 73-80
- https://doi.org/10.1007/bf02007259
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Extensional Gödel Functional InterpretationLecture Notes in Mathematics, 1973
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973