Hilbert-Bernays on Proof-Theory
MacLane, Saunders
Bull. Amer. Math. Soc., Tome 41 (1935) no. 12, p. 162-165 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1935-03-15
Classification:  
@article{1183498070,
     author = {MacLane, Saunders},
     title = {Hilbert-Bernays on Proof-Theory},
     journal = {Bull. Amer. Math. Soc.},
     volume = {41},
     number = {12},
     year = {1935},
     pages = { 162-165},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183498070}
}

MacLane, Saunders. Hilbert-Bernays on Proof-Theory. Bull. Amer. Math. Soc., Tome 41 (1935) no. 12, pp.  162-165. http://gdmltest.u-ga.fr/item/1183498070/