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 Thu Apr 24 12:05:54 2025 UTC.