Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic
Nelson, David
J. Symbolic Logic, Tome 21 (1956) no. 1, p. 91-92 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1956-03-14
Classification:  
@article{1183732330,
     author = {Nelson, David},
     title = {Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic},
     journal = {J. Symbolic Logic},
     volume = {21},
     number = {1},
     year = {1956},
     pages = { 91-92},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183732330}
}

Nelson, David. Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. J. Symbolic Logic, Tome 21 (1956) no. 1, pp.  91-92. http://gdmltest.u-ga.fr/item/1183732330/