Heinrich Wansing Books
Dag Prawitz on Proofs and Meaning
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof...
Read More