This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.

This book provides an accessible and at the same time scientifically rigorous introduction to the principles of logical reasoning.