Proof functional connectives
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Mathematics
- p. 208-221
- https://doi.org/10.1007/bfb0075313
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973