A note on forking and normalization.
John B. Vaughn (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
John B. Vaughn (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Marie-Christine Ferbus (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hilary Putnam (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Bonnie Gold (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Robert Fittler (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
D.L. Kreider, R.W. Ritchie (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: