Items where Author is "Kornilowicz, Artur"
Group by: Item Type | No Grouping
Number of items: 1.
Caminati, Marco B. and Kornilowicz, Artur (2014) Pseudo-Canonical Formulae are Classical. Formalized Mathematics.
Caminati, Marco B. and Kornilowicz, Artur (2014) Pseudo-Canonical Formulae are Classical. Formalized Mathematics.