Type: Article
Publication Date: 1970-11-01
Citations: 6
DOI: https://doi.org/10.1112/blms/2.3.366a
Action | Title | Year | Authors |
---|---|---|---|
+ | Notes on the theory of variable binding term operators | 1983 |
Newton C. A. da Costa Chris Mortensen |
Action | Title | Year | Authors |
---|