An interpretation of a certain fragment of arithmetic in some propositional calculus

Bulletin of the Section of Logic, Tom 13, Numer 2 (1984) s. 99-110
Zdzisław Dywan

 

do góry