Natural deduction and transformation analysis

Series | Buch | Kapitel

pp. 125-129

Publication details

Published in:

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

Seiten: 125-129

Referenz:

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