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', query time: 0.01s Refine Results
  1. 1
    First order categorical logic
    by Makkai, Michael
    Published 1977
    Printed Book
Search Tools: Get RSS Feed — Email this Search