Makkai M. and G. E. Reyes (1977). First-order categorical logic. LNM 611.
Berlin: Springer-Verlag.
From mathematics to literature. – Des mathématiques à la littérature.
June 1, 1977 in Books, Categorical logic, Gonzalo E. Reyes, Mathematics | by gonzalomarie
Makkai M. and G. E. Reyes (1977). First-order categorical logic. LNM 611.
Berlin: Springer-Verlag.
Blog at WordPress.com.Ben Eastaugh and Chris Sternal-Johnson.
