Complexity of t-tautologies

From Mathfuzzlog
Jump to: navigation, search
Authors:
Matthias Baaz
Petr Hájek
Franco Montagna
H. Veith
Title: Complexity of t-tautologies
Journal: Annals of Pure and Applied Logic
Volume 113
Number
Pages: 3-11
Year: 2002