Vol. 445. Lawvere, F. W.; Maurer, C.; Wraith, G. C 
Model Theory and Topoi: A Collection of Lectures by Various Authors 
QA9.7 M64