Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internato

A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural dedu

Winner of a CHOICE Outstanding Academic Title Award for 2011!This book offers an introduction to modern ideas about infinity and their implications for mathemat

ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalit

"These recent developments also open up new questions of debate, including: What is the role played by randomness? Are computers capable of handling the infinit