You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).
Leonardi.DB
a logical geometry project
Karel Fiala
Karel Fiala authored the following 1 source, containing a total of 0 diagrams.
Fiala, Karel, and Petra Murinová. 2022. “A Formal Analysis of Generalized Peterson’s Syllogisms Related to Graded Peterson’s Cube.” Mathematics 10: 1–27. (0 diagrams)