A formal definition of derivation trees in systems of natural deduction

H. Balsters

Onderzoeksoutput: Boek/rapportRapportPopulair

32 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Hogeschool Eindhoven
Aantal pagina's7
StatusGepubliceerd - 1982
Extern gepubliceerdJa

Publicatie series

NaamEindhoven University of Technology : Dept of Mathematics : memorandum
Volume8220

Citeer dit