Repository | Book | Chapter

COPR BookmarkLink
255929

(1969) Sektionen I-IV, Freiburg-Basel-Wien, Herder.

Natural deduction and transformation analysis

V. A. Smirnov

pp. 125-129

Publication details

DOI: 10.5840/wcp141969322

Full citation:

Smirnov, V. A. (1969)., Natural deduction and transformation analysis, in L. Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, pp. 125-129.

This document is unfortunately not available for download at the moment.