Sciweavers

IGPL
2002

Ultimate Normal Forms for Parallelized Natural Deductions

13 years 11 months ago
Ultimate Normal Forms for Parallelized Natural Deductions
The system of natural deduction that originated with Gentzen (1934
Neil Tennant
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2002
Where IGPL
Authors Neil Tennant
Comments (0)