In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti

A mathematics-based logic text with strong emphasis on recursion theory and a new approach emphasizing Godel's theorem building to Hilbert's Tenth Problem. Topi

The present work has its origins in our collective attempts to develop a new style of "informal type theory" that can be read and understood by a human being, a

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat