Doesn't suit? No problem! You can return within 30 days
You won't go wrong with a gift voucher. The gift recipient can choose anything from our offer.
30-day return policy
Covers the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false; logical consequence of one formula from others; the soundness and completeness theorems connecting logical consequence and formal proof; the axiomatization of some theories using a formal language; and more.
Hi! I'm Libroamiko, your book advisor.
How can I help you?