Valentin Goranko

Logic as a Tool. A Guide to Formal Logical Reasoning