Witold Marciszewski

Logic from a rhetorical point of view

Issues of decidability and tractability

Mechanization of reasoning in a historical perspective