Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ

W

Wagner R. R.
in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
"The Application of Kripke-Type Structures to Regional Development Processes" (1993) 
Wahrheit
in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002) 
Wansing H.
in: Iemhoff R.
"A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001) 
Weak
Weakly
Well
in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type ω" (2004) 
Well-founded
in: Beckmann A.
"A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets" (2002) 
Well-Orderings
in: Beckmann A., Buss S. R. and Pollett C.
"Ordinal Notations and Well-Orderings in Bounded Arithmetic" (2003) 
Werden
in: Baaz M.
"Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987) 
Widersprüche
in: Baaz M.
"Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987) 
Wien
Wiener
in: Baaz M.
"Logik des Juridischen Schließens" (2001) 
Wiss
With
Wittgenstein-Symposiums
in: Baaz M., Brunner N. and Svozil K.
"Interpretations of Combinatory Algebras" (1993) 
Workshop
World
in: Ciabattoni A., Godo L. and Esteva F.
"T-norm based logics with n-contraction" (2002) 
Worlds
in: Baaz M. and Quirchmayr G.
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988) 
Worshop
in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992) 

&-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!