Corespondence as an intertheory relation

Bulletin of the Section of Logic, Tom 11, Numer 1-2 (1982) s. 48-55
Davis Pearce, Veikko Rantala

 

do góry