Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus
Anderson, J. G.
J. Symbolic Logic, Tome 38 (1973) no. 1, p. 331-332 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1973-06-14
Classification:  
@article{1183738655,
     author = {Anderson, J. G.},
     title = {Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus},
     journal = {J. Symbolic Logic},
     volume = {38},
     number = {1},
     year = {1973},
     pages = { 331-332},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183738655}
}

Anderson, J. G. Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. J. Symbolic Logic, Tome 38 (1973) no. 1, pp.  331-332. http://gdmltest.u-ga.fr/item/1183738655/