Sökning: "Marko Djordjevic"
Hittade 1 avhandling innehållade orden Marko Djordjevic.
1. Stability theory in finite variable logic
Sammanfattning : This thesis studies finite variable theories. To be more precise. complete Ln -theories, where Ln is the set of formulas in a first order language L in which at most n distinct variables occur. These need not be complete in the usual first order sense. LÄS MER
Resultatsidor:
1