the Categorial Analysis of Logic (1979)

by Topoi