On provability measures for deductive systems I

Bulletin of the Section of Logic, Tom 5, Numer 3 (1976) s. 87-93
David Miller

 

do góry