Logic of Arithmetic

Discover the fascinating world of mathematical logic with "Logic of Arithmetic," published by Taylor & Francis Ltd in 2000. This comprehensive hardback edition spans 312 pages and delves into the intricacies of propositional logic and its applications in arithmetic. The book explores methods for determining whether a formula can be deduced from a finite set of other formulas, focusing on quantified formulas within specific fragments of arithmetic, such as order-plus-successor and order-plus-addition, also known as Pressburger arithmetic. Ideal for students and professionals alike, this volume offers valuable insights into the foundations of logic and arithmetic. Enhance your understanding of mathematical concepts with this essential resource from Bookshop.