More About the Author
Michael Makkai (Hungarian: Makkai Mihály, 24 June 1939 in Budapest, Hungary) is Canadian mathematician of Hungarian origin, specializing in mathematical logic.
Review and Comments
Rate the Book
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli 0 out of 5 stars based on 0 ratings.