Robinson's contributions to model theory were developed during his time at the University of Toronto. He weaved his many contributions and papers into a treatise Introduction to model theory and to the metamathematics of algebra published in 1963. Engeler wrote:
Robinson's kontribusyon sa mga modelo ng teorya ay binuo sa panahon ng kanyang panahon at ang University of Toronto. He weaved kanyang mga kontribusyon at mga papeles sa isang treatise Panimula sa modelo ng teorya at sa metamathematics ng algebra-publish noong 1963. Engeler wrote: