7

7

in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991) 

7th

• in: Baaz M. and Zach R.
  "Short Proofs of Tautologies Using the Schema of Equivalence" (1994)
• in: Baaz M. and Quirchmayr G.
  "Modelling Priorities in Legal Expert Systems" (1987)
• in: Baaz M.
  "Gödel's Justification of His Completeness Theorem" (1983)

Submit a bug

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