Simplification of Herbrand sequents / von Tsvetan Chavdarov Dunchev. 2009
Inhalt