The Work The Craig-Lyndon Interpolation Theorem in 3-Valued Logic The details The Author R. R. Rockingham Gill The offers