A formal definition of derivation trees in systems of natural deduction

H. Balsters

Research output: Book/ReportReportPopular

22 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

Balsters, H. (1982). A formal definition of derivation trees in systems of natural deduction. (Eindhoven University of Technology : Dept of Mathematics : memorandum; Vol. 8220). Technische Hogeschool Eindhoven.