Godel Theorems for Non-Constructive Logics
Rosser, Barkley
J. Symbolic Logic, Tome 2 (1937) no. 2, p. 129-137 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1937-09-14
Classification:  
@article{1183383696,
     author = {Rosser, Barkley},
     title = {Godel Theorems for Non-Constructive Logics},
     journal = {J. Symbolic Logic},
     volume = {2},
     number = {2},
     year = {1937},
     pages = { 129-137},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183383696}
}

Rosser, Barkley. Godel Theorems for Non-Constructive Logics. J. Symbolic Logic, Tome 2 (1937) no. 2, pp.  129-137. http://gdmltest.u-ga.fr/item/1183383696/