Makkal, Michael. <br/><br/>
First order categorical logic  model-theoretical methods in the theory of topoi and related categories 
by Michael Makkal, Gonzalo E. Reyes 
 - Berlin  Springer-Verlag  1977 
 - viii, 301p. 
 - Lecture notes in mathematics 611 .
<br/><br/><label>ISBN: </label>3540084398 
<br/><br/><label>Dewey Class. No.: </label>512.53  / N77