Ricardo Caferra Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective. 1996 6 Journal of Applied Non-Classical Logics 3 db/journals/jancl/jancl6.html#Caferra96