“...Leeds Proof Theory Programme Leeds University)....”
Publisher description
Table of contents