On the logic of variable binders

Springer Science and Business Media LLC - Tập 6 Số 3-4 - Trang 71-90 - 1964
Rolf Schock1
1Stockholm

Tóm tắt

Từ khóa


Tài liệu tham khảo