Mechanization of reasoning in a historical perspective /
Marciszewski, Witold.
Murawski, Roman.
Amsterdam ; Atlanta, GA : Rodopi,
1995.
Includes bibliographical references (p. [231]-252) and indexes.
Reasoning.
Reasoning