A SIMULATION OF NATURAL DEDUCTION AND GENTZEN SEQUENT CALCULUS.

Saved in:

Bibliographic Details
Title:	A SIMULATION OF NATURAL DEDUCTION AND GENTZEN SEQUENT CALCULUS.
Authors:	Kozhemiachenko, Daniil¹ kodaniil@yandex.ru
Source:	Logic & Logical Philosophy. Mar2018, Vol. 27 Issue 1, p67-84. 18p.
Database:	Mathematics Source

Description
ISSN:	14253305
DOI:	10.12775/LLP.2017.009