Mathematical logic; Theories with induction.

The aim of this book is to help students write mathematics better. Throughout it are large exercise sets well-integrated with the text and varying appropriately

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations

This volume consists of invited papers written by eminent researchers working in the areas of theoretical computer science. The contents of the papers reflect t