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 - 5 results of 5 for search 'Makkai, Michael', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Duality and definability in first order logic

    Duality and definability in first order logic by Makkai, Michael

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Accessible categories the foundations of categorical model theory

    Accessible categories the foundations of categorical model theory by Makkai, Michael, Paré, Robert

    Published 1989
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    First Order Categorical Logic Model-Theoretical Methods in the Theory of Topoi and Related Categories

    First Order Categorical Logic Model-Theoretical Methods in the Theory of Topoi and Related Categories by Makkai, Michael, Reyes, Gonzalo E. 1937-

    Published 1977
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Duality and definability in first order logic

    Duality and definability in first order logic by Makkai, Michael 1933-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    First order categorical logic model-theoretical methods in the theory of topoi and related categories

    First order categorical logic model-theoretical methods in the theory of topoi and related categories by Makkai, Michael, Reyes, Gonzalo E. 1937-

    Published 1977
    Indexes
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: