Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, an

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, an

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

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

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly acti