در نهمین جشنواره وب ایران از لیب دی ال حمایت کنید!

این پنجره فقط یک مرتبه به شما نمایش داده می شود. پس همین الان اقدام کنید :)

رای میدهم ♥
×
  • Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

    Makkai M.

Click on cover to enlarge.
0 - 1Hours to read