First Page | Document Content | |
---|---|---|
Date: 2004-01-28 05:21:56Proof theory Model theory Logic in computer science Metalogic Peano axioms Soundness Axiom Function Consistency Logic Mathematics Mathematical logic | Etica & Politica / Ethics & Politics, 2003, 1Add to Reading ListSource URL: www2.units.itDownload Document from Source WebsiteFile Size: 33,50 KBShare Document on Facebook |