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

"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

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

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

Praise for the First Edition ". . . an enchanting book for those people in computer science or mathematics who are fascinated by the concept of infinity."—Com