Matthias Baaz

1 book • 2 series

Jan 1, 2011
Cover of Methods of Cut-Elimination

Methods of Cut-Elimination (Trends in Logic, #34) (Trends in Logic: Studia Logica Library)