View of Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics

##article.return## Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics Download Download PDF