{"id":939,"date":"2019-12-30T10:54:31","date_gmt":"2019-12-30T15:54:31","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/cenzer\/?page_id=939"},"modified":"2026-03-19T08:10:45","modified_gmt":"2026-03-19T12:10:45","slug":"mhf-4203-5207","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/cenzer\/mhf-4203-5207\/","title":{"rendered":"MHF 4203\/5207"},"content":{"rendered":"\r\n<section class=\"fullwidth-text-block\">\r\n\t<div class=\"container px-0 pt-5\">\r\n\t\t<div class=\"row align-items-start\">\r\n\t\t\t<div class=\"col-12\">\r\n\t\t\t\t\n<h1 class=\"wp-block-heading\">MHF 4203\/5207<\/h1>\n\n\n\n<p>MHF 4203,\u00a0 Section 123, 23665<br>\nMHF 5207, Section 1958, 23666<br>\nMWF 6th (12:50-1:40), Little 221 and\/or online<\/p>\n\n\n\n\n\n<p>Instructor: Douglas Cenzer<\/p>\n\n\n\n\n\n<p>Office: 310 Little Hall, 294-2350<br>\nEmail: cenzer@ufl.edu<br>\nInternet: www.people.clas\/cenzer<br>\nOffice Hours: M7, W4, F5, and by appointment.<\/p>\n\n\n\n\n\n<p>TEXT:  Foundations of Mathematics, D. Cenzer, J. Larson, C. Porter, J. Zapletal, Forthcoming<\/p>\n\n\n\n\n\n<p>REFERENCES<\/p>\n\n\n\n\n\n<p>Enderton: A Mathematical Introduction to Logic<br>\nHodel: An Introduction to Mathematical Logic<br>\nHopcroft and Ullman: Introduction to Automata Theory, Languages and Computation<br>\nLeary: A Friendly Introduction to Mathematical Logic<br>\nMonk: Mathematical Logic<\/p>\n\n\n\n\n\n<p>COURSE HANDOUTS\/LINKS<\/p>\n\n\n\n\n\n<p><a href=\"https:\/\/people.clas.ufl.edu\/cenzer\/content-removed\/\"> Lecture Slides <\/a><br>\n<a href=\"https:\/\/people.clas.ufl.edu\/cenzer\/content-removed\/\"> Syllabus <\/a><br>\n<a href=\"https:\/\/people.clas.ufl.edu\/cenzer\/courses\/mhf-4203-5207\/mhf-4203-daily-schedule-Fall\"> Daily Schedule <\/a><\/p>\n\n\n\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t<\/div>\r\n<\/section>\r\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":144,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-939","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/pages\/939","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/users\/144"}],"replies":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/comments?post=939"}],"version-history":[{"count":10,"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/pages\/939\/revisions"}],"predecessor-version":[{"id":1089,"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/pages\/939\/revisions\/1089"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/media?parent=939"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}