Repository | Series | Book | Chapter

COPR Bookmark Link
256000

Natural deduction and transformation analysis

V. A. Smirnov

pp. 125-129

Publication details

Published in:

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

Pages: 125-129

DOI: 10.5840/wcp141969322

Full citation:

Smirnov V. A. (1969) „Natural deduction and transformation analysis“, In: Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, 125–129.