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.

This list was generated on Tue Jan 27 07:17:58 2026 UTC.