Title: A patching lemma
Author(s): J. M. Plotkin K. K. Hickin
Appeared: Notre Dame J. Formal Logic , 1976, , 17, 158-160.
Notes: NULL
Status: published
Display: Plotkin, J. M. 1976
ID: 157

Back