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

by Begriffsschrift
Venue:In