Topic derivations Logical System gentzen Solutions to Tutorial 4: Number Theory 1 Book traversal links for Tutorial 4: Number Theory 1 ‹ First Order Theories Up Solutions to Tutorial 4: Number Theory 1 ›