On the practical value of Herbrand disjunctions

Logic and Logical Philosophy, Tom 8 (2000) s. 153-180
Uwe Petermann

 

do góry