TY - GEN T1 - Duality and definability in first order logic / AU - Makkai, Mihály, VL - Volume 105, Number 503 CN - QA9 N1 - "September 1993, Volume 105, Number 503 (fourth of 6 numbers)." ID - 1365172 KW - First-order logic. KW - Duality theory (Mathematics) KW - Toposes. SN - 9781470400804 (e-book) TI - Duality and definability in first order logic / LK - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113760 UR - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113760 ER -