Celebratio Mathematica

Krystyna Kuperberg

⇧

Complete Bibliography

Works connected to Adam Naumowicz

Filter the Bibliography List
clear

A. Try­bulec, A. Kornilow­icz, A. Naumow­icz, and K. Ku­per­berg: “Form­al math­em­at­ics for math­em­aticians,” pp. 119–​121 in Form­al math­em­at­ics for math­em­aticians (New Or­leans, LA, 6–9 Janu­ary 2011), published as J. Auto­mat. Reas­on. 50 : 2. Issue edi­ted by A. Try­bulec, A. Kornilow­icz, A. Naumow­icz, and K. Ku­per­berg. Spring­er (Ber­lin), 2013. Fore­word to a spe­cial is­sue. MR 3016795 incollection