Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective

Sorry, there's nothing here.

Cite this paper

@article{Caferra1996ReviewOW, title={Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective}, author={Ricardo Caferra}, journal={Journal of Applied Non-Classical Logics}, year={1996}, volume={6}, pages={287-288} }