On compatibility of theories and equivalent translations

Bulletin of the Section of Logic, Tom 21, Numer 3 (1992) s. 112-119
Takao Inoue

 

do góry