[BFZ1992b] Systematic Construction of Natural Deduction Systems for Many-valued Logics
| BaazFermZach92TR (Technical report)
|
| Author(s) | Baaz M., Fermüller C. G. and Zach R. |
| Title | "Systematic Construction of Natural Deduction Systems for Many-valued Logics" |
| Date | 1992 |
| Institution | Technische Universität Wien, Institut für Computersprachen E185.2 |
| Number | TR-E185.2-BFZ.1-92 |
@techreport{BaazFermZach92TR,
title = {Systematic Construction of Natural Deduction Systems for Many-valued Logics},
author = {Baaz, M. and Fermüller, C. G. and Zach, R.},
year = {1992},
number = {TR-E185.2-BFZ.1-92},
institution = {Technische Universit\"at Wien, Institut f\"ur Computersprachen E185.2},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)