Vol. 445. Lawvere, F. W.; Maurer, C.; Wraith, G. C 
Model theory and topoi : a collection of lectures by various authors 
QA9.7 M64