Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BFZ1995]  Proof theory of finite-valued logics (Abstract)

BaazFermZach95BSC (Article)
Author(s)Baaz M., Fermüller C. G. and Zach R.
Title"Proof theory of finite-valued logics (Abstract)"
Date1995
JournalBulletin of Symbolic Logic
Volume1
Number-
Page(s)221--222

BibTeX code

@article{BaazFermZach95BSC,
  journal = {Bulletin of Symbolic Logic},
  volume = {1},
  title = {Proof theory of finite-valued logics (Abstract)},
  author = {Baaz, M. and Fermüller, C. G. and Zach, R.},
  year = {1995},
  pages = {221--222},
}

 Overview   Tree   Index 
Bibliography
   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)