Complete Bibliography
Works connected to Artur Korniłowicz
Filter the Bibliography List
Formal mathematics for mathematicians,” pp. 119–121 in Formal mathematics for mathematicians (New Orleans, LA, 6–9 January 2011), published as J. Automat. Reason. 50 : 2. Issue edited by A. Trybulec, A. Kornilowicz, A. Naumowicz, and K. Kuperberg. Springer (Berlin), 2013. Foreword to a special issue. MR 3016795 incollection
: “