by: Micha Walicki
Be the first one to review
Review the book today!
Overview
An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantic...
Read more