Review of Witold Marciszewski and Roman Murawski, Mechanization of Reasoning in a Historical Perspective
Peckhaus, Volker
Mod. Log., Tome 7 (1997) no. 1, p. 402-409 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1997-07-15
Classification:  
@article{1204835912,
     author = {Peckhaus, Volker},
     title = {Review of Witold Marciszewski and Roman Murawski, Mechanization of Reasoning in a Historical Perspective},
     journal = {Mod. Log.},
     volume = {7},
     number = {1},
     year = {1997},
     pages = { 402-409},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204835912}
}

Peckhaus, Volker. Review of Witold Marciszewski and Roman Murawski, Mechanization of Reasoning in a Historical Perspective. Mod. Log., Tome 7 (1997) no. 1, pp.  402-409. http://gdmltest.u-ga.fr/item/1204835912/