Sciweavers

Share
IGPL
2002

Ultimate Normal Forms for Parallelized Natural Deductions

8 years 9 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)
books