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

Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1967)

Language
English
Diagrams (1)
↑ Back to top ↑