TY - JOUR AU - I. Korec AU - W. Rautenberg TI - Model-interpretability into trees and applications. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1975 SP - 97 EP - 104 VL - 17 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1975__17_137911/ ID - AMLG_1975__17_137911 ER -