A substitution property.
Alan C. Wilde
Source: Notre Dame J. Formal Logic Volume 15, Number 4
(1974), 639-640.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093891498
Zentralblatt MATH identifier: 0254.02012
Mathematical Reviews number (MathSciNet): MR0354359
Digital Object Identifier: doi:10.1305/ndjfl/1093891498
Notre Dame Journal of Formal Logic
