Formal Number Theory and Computability: A Workbook
This workbook focuses on formal number theory. It is part of the Oxford Logic Guides series. The workbook includes exercises designed to reinforce concepts in formal number theory. Students can use the workbook to practice and deepen their understanding of formal number theory topics.