Proofs of some axioms by Stroke function
Yasuo Setô
Source: Proc. Japan Acad. Volume 44, Number 10
(1968), 1024-1027.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pja/1195520940
Mathematical Reviews number (MathSciNet): MR0235977
Zentralblatt MATH identifier: 0182.31406
Digital Object Identifier: doi:10.3792/pja/1195520940
References
[1] Robert Price: The Stroke Function in natural deduction, math. Logik und Grundlagen d. Math., 7, 117-123 (1961).
Zentralblatt MATH: 0107.00611
Mathematical Reviews (MathSciNet): MR158826
Digital Object Identifier: doi:10.1002/malq.19610070706
Proceedings of the Japan Academy
