0 - Introduction and Overview
Published online by Cambridge University Press: 25 August 2022
Summary
An introduction to formal Logic and to the contrast and connections between syntax and semantics. The unique pedagogical approach of the book of capturing logic in a computer program and of proving by programming.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 1 - 10Publisher: Cambridge University PressPrint publication year: 2022