Sep 21, 2018  
2011-2012 Graduate Catalog 
    
2011-2012 Graduate Catalog [ARCHIVED CATALOG/PREVIOUS EDITION]

[Add to Portfolio]

MHF 6306: Mathematical Logic I


Credits: 3                    Grading Scheme: Letter

     

Languages, models, and theories; Godel’s completeness and incompleteness theorems; formal number theory and axiomatic set theory; applications to other areas of mathematics.



[Add to Portfolio]