Review: B. A. Falevic, New Method of Proof of the Incompleteness Theorem for Systems with Carnap's Rule and its Application to the Question of the Relation between Classical and Constructive Analysis
Kostinsky, A.
J. Symbolic Logic, Tome 32 (1967) no. 1, / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1967-09-14
Classification:  
@article{1183735996,
     author = {Kostinsky, A.},
     title = {Review: B. A. Falevic, New Method of Proof of the Incompleteness Theorem for Systems with Carnap's Rule and its Application to the Question of the Relation between Classical and Constructive Analysis},
     journal = {J. Symbolic Logic},
     volume = {32},
     number = {1},
     year = {1967},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183735996}
}

Kostinsky, A. Review: B. A. Falevic, New Method of Proof of the Incompleteness Theorem for Systems with Carnap's Rule and its Application to the Question of the Relation between Classical and Constructive Analysis. J. Symbolic Logic, Tome 32 (1967) no. 1, . http://gdmltest.u-ga.fr/item/1183735996/