Michael Makkai

Michael Makkai (; 24 June 1939 in Budapest, Hungary) is a Canadian mathematician of Hungarian origin, specializing in mathematical logic. He works in model theory, category theory, algebraic logic, type theory and the theory of topoi. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Makkai, Michael, 1939-', query time: 0.01s Refine Results
  1. 1
    First order categorical logic : model-theoretical methods in the theory of topoi and related categories
    by Makkai, Michael, 1939-
    Published 1977
    Other Authors: “…Makkai, Michael, 1939-…”
    Book

Search Tools: