Five theories of reasoning: Interconnections and applications to mathematics

Logic and Logical Philosophy, Tom 20, Numer 1-2 (2011) s. 7-57
Alison Pease, Andrew Aberdein

 

do góry