As an introduction to fundamental geometric concepts and tools needed for solving problems of a geometric nature using a computer, this book attempts to fill the gap between standard geometry books, w
Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatm