Original language | English |
---|---|

Place of Publication | Eindhoven |

Publisher | Technische Hogeschool Eindhoven |

Number of pages | 7 |

Publication status | Published - 1982 |

Externally published | Yes |

### Publication series

Name | Eindhoven University of Technology : Dept of Mathematics : memorandum |
---|---|

Volume | 8220 |

## 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.