Cut-elimination by resolution in intuitionistic logic / eingereicht von Giselle Reis. 2014
Inhalt