Report: an examination of a decision procedure
Oglesby, F. C.
Bull. Amer. Math. Soc., Tome 67 (1961) no. 6, p. 300-304 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1961-05-14
Classification:  
@article{1183524157,
     author = {Oglesby, F. C.},
     title = {Report: an examination of a decision procedure},
     journal = {Bull. Amer. Math. Soc.},
     volume = {67},
     number = {6},
     year = {1961},
     pages = { 300-304},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183524157}
}

Oglesby, F. C. Report: an examination of a decision procedure. Bull. Amer. Math. Soc., Tome 67 (1961) no. 6, pp.  300-304. http://gdmltest.u-ga.fr/item/1183524157/