[BFS1995] Systematic Construction of Calculi for Finite-Valued First-Order Logics
| BaazFermSalz95LMPS (In proceedings)
|
| Author(s) | Baaz M., Fermüller C. G. and Salzer G. |
| Title | "Systematic Construction of Calculi for Finite-Valued First-Order Logics" |
| Date | 1995 |
| In | Proc. 10th Int. Congress of Logic, Methodology and Philosophy of Science |
| Page(s) | 44 |
@inproceedings{BaazFermSalz95LMPS,
address = {Florence, Italy},
title = {Systematic Construction of Calculi for Finite-Valued First-Order Logics},
author = {Baaz, M. and Fermüller, C. G. and Salzer, G.},
year = {1995},
booktitle = {Proc. 10th Int. Congress of Logic, Methodology and Philosophy of Science},
pages = {44},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)