Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ

2

2
2000
2001
2002
2003
23rd
in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1993) 
24th
in: Baaz M. and Zach R.
"Approximatig Propositional Calculi by Finite-valued Logics" (1994) 
26th
in: Baaz M. and Fermüller C. G.
"Intuitionistic Counterparts of Finitely-valued Logics" (1996) 
28
in: Baaz M. and Zach R.
"Compact Propositional Gödel Logic" (1998) 

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ
 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)

Valid HTML 4.01!