Michael Makkai
Michael Makkai (; 24 June 1939 in Budapest, Hungary) is 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 - 3 results of 3 for search 'Makkai, Michael', query time: 0.01s
Refine Results
-
1
First order categorical logic : Model-theoretical methods in the theory of Topoi and related categories / by Makkai, Michael
Published 1977Call Number: Loading…
Located: Loading…Book Loading… -
2
Duality and definability in first order logic / by Makkai, Michael, 1939-
Published 1993Call Number: Loading…
Located: Loading…Book Loading… -
3
Accessible categories : the foundation of categorical model theory / by Makkai, Michael, 1939-
Published 1989Call Number: Loading…
Located: Loading…Book Loading…