A formal definition of derivation trees in systems of natural deduction

H. Balsters

Research output: Book/ReportReportPopular

32 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages7
Publication statusPublished - 1982
Externally publishedYes

Publication series

NameEindhoven University of Technology : Dept of Mathematics : memorandum
Volume8220

Cite this