Witold Marciszewski/Roman Murawski. Mechanization of Reasoning in a Historical Perspective. Amsterdam/Atlanta, GA: Rodopi 1995. (Pozna Studies in the Philosophy of the Sciences and the Humanities; 43)
V. Peckhaus, Modern Logic 7 (1997) 402–409.