Back to Results
First PageMeta Content
Proof theory / Mathematical logic / Mathematics / Logic / Sequent / Gerhard Gentzen / Cut-elimination theorem / Thoralf Skolem


Advanced Proof Viewing in PROOFTOOL UITP 2014 Tomer Libal, Martin Riener, Mikheil Rukhaia July 17, 2014
Add to Reading List

Document Date: 2014-07-19 11:42:53

Open Document

File Size: 548,21 KB

Share Result on Facebook