Simple type theory of Gentzen style with the inference of extensionality
Open Access
- 1 January 1968
- journal article
- Published by Project Euclid in Proceedings of the Japan Academy, Series A, Mathematical Sciences
- Vol. 44 (2)
- https://doi.org/10.3792/pja/1195521329
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: