Interpolation and implicit definability in extensions of the provability logic

Logic and Logical Philosophy, Tom 17, Numer 1-2 (2008) s. 129-142
Larisa Maksimova

 

do góry