This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collec

Strong reasoning skills are an important aspect to cultivate in life, as they directly impact decision making on a daily basis. By examining the different ways

The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic the

This volume contains seventeen papers that were presented at the 2015 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/La Socié

This book offers a refreshing new look at the Book of Psalms, presenting an analysis of the postmodern elements found in its poetry, and, as such, will be of sp