The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
Recipient of the Nobel Prize in Literature 2020
Louise Gluck's award-winning collection of essays is the work of a major poet and a distinguished teacher. She writes of her upbringing, her human and...
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas...
Preface.- Introduction.- Unwinding of proofs (`Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.-...