A quasi-arithmetical notation for syntactic description (1953)

by Y Bar-Hillel
Venue:Language