First Page | Document Content | |
---|---|---|
Date: 2014-07-02 10:40:42Model theory Formal languages Metalogic First-order logic Interpretation Witness Function Presburger arithmetic Well-formed formula Logic Mathematics Mathematical logic | Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan†Add to Reading ListSource URL: alpha.uhasselt.beDownload Document from Source WebsiteFile Size: 435,94 KBShare Document on Facebook |