On provability measures for deductive systems III

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 51-57
David Miller

 

do góry