Proof theory

Subject

Browse all works related to Proof theory.

"492" Result

The Budapest semesters in mathematics were initiated with the aim of offering undergraduate courses that convey the tradition of Hungarian mathematics to English-speaking students. This book is an elaborate version of the course on 'Conjecture and Proof'. It gives miniature intr…