Back to Results
First PageMeta Content



Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria
Add to Reading List

Document Date: 2005-04-12 18:14:28

Open Document

File Size: 201,34 KB

Share Result on Facebook