On definability in Peano arithmetic

Bulletin of the Section of Logic, Tom 8, Numer 3 (1979) s. 148-153
Laszlo Csirmaz

 

do góry