Product Details
Tags
by: Micha Walicki
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
Be the first one to review
Review the book today!