[{"run_id":"20260906T231458-5fdd2fff","semester":"1272","observed_at":"2026-09-06 23:14:58.172943+00:00","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)"},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)"},{"run_id":"legacy-03b0bbb9723907cf3d1b41cf0bb34837dc398e42","semester":"1262","observed_at":"2025-04-16 05:20:33.104844+00:00","record_version_id":"3f06d1a186b986b6ed12c2998d7756e55e37cfcbcd01b3caddb9eacf9c6c8361","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0837245627eb714ae6bb0375f7abe8f41042011f","semester":"1262","observed_at":"2025-04-16 05:20:33.104844+00:00","record_version_id":"3f06d1a186b986b6ed12c2998d7756e55e37cfcbcd01b3caddb9eacf9c6c8361","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-08c92e359bbbc110b0778b7e0b15d6f40000e6b1","semester":"1262","observed_at":"2025-08-21 07:05:14.730696+00:00","record_version_id":"0af98b4378bf2471f69fbfb453340de16101e245656a40f7b190c8c2ba0b7b95","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0944d76440dc778fbb89626058c10451009ce9c6","semester":"1262","observed_at":"2025-05-21 03:36:18.194118+00:00","record_version_id":"b6171c3ccea92b9a9acafbbf1b6fb4487d5ec62e251d75490fe9c1f248dee513","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0a7f4bce29c816ef4d3d71b4eb8a2a3e15e33cc1","semester":"1262","observed_at":"2025-06-18 20:04:02.695444+00:00","record_version_id":"9a41730d1c880ee54df32c7c95b6aa5a929cdab5c0ceafd6d3254ab67a51d3d0","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0ab917f827a7de22ebdc1087114d377a31c4687b","semester":"1262","observed_at":"2025-05-22 02:11:02.531191+00:00","record_version_id":"b49b944dbab6c7d260edcfa76ebd466eb7aacd47bcc708dd1a95d958dfebb283","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0c40ecab4b6db9333d1f18aef816e3ee659e300c","semester":"1262","observed_at":"2025-05-25 18:02:34.797617+00:00","record_version_id":"2ce98fd529ebb0c44e5eb035c59d0759c0ce69d42209afcfb4d58fcaf6471d58","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0cb4d29a588ec7f11c7e00b7cf5dc3a0d23d0349","semester":"1266","observed_at":"2026-01-22 01:00:26.555427+00:00","record_version_id":"21f68b54848658ba124c2503dbbb8e48c1b1801de0a54475d218047debf8e9ee","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-11c30ec39e91498cbfcf3a923c53a4b03e387280","semester":"1262","observed_at":"2025-07-20 04:58:26.847117+00:00","record_version_id":"47c9e6e24c9fc5654810de7cf504826a8f5834e586ced1d0004ecfec2455aa67","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-13cd500edf2587e9a3428f326253738fbea965ea","semester":"1264","observed_at":"2025-12-14 04:50:04.653658+00:00","record_version_id":"b1566c3b1bef5f1df7e4aeca116bcb78871b579dc5588bb04d9aa24f770105b1","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-1da08b2de39f05e6bc877c189fc2fd6eeda563f5","semester":"1262","observed_at":"2025-07-01 00:03:56.707251+00:00","record_version_id":"71e4c06e51729d81622426ea80467c769558b4d851bc2b5b623306dd67d3ba25","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-2031af47efe133b0e7877f433286ff07385afc41","semester":"1262","observed_at":"2025-07-02 20:16:45.749584+00:00","record_version_id":"1ef5bd704391a132192de04d5dba07821e9692c13e61dc253ede96b4d90af4be","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-238eba6f32fbc30407f616dd0628ff02a2a824dd","semester":"1262","observed_at":"2025-08-17 05:15:07.788352+00:00","record_version_id":"4ba6c3537985c6c71c6c79d68c23307d2ae4d74b57cde37e0903a1d9e00b5ab3","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-25f0ff56bc4d80f8a8afa1a0bcce8dae6fddb5e5","semester":"1262","observed_at":"2025-05-25 17:20:25.942090+00:00","record_version_id":"12646535945578374b71989cb4d49b23e9d5aa024e5910f929c50f3b16407b4e","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-2923f91826ce253b7aeefa9f75b4a39fe4c80ff0","semester":"1262","observed_at":"2025-08-10 05:10:25.938416+00:00","record_version_id":"13fb517245990297176ea531d71932cbaaee6c824a467f5a59b8ad8339a1086f","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-2a05214a4023e0157fa6f7d188c85308f714176c","semester":"1262","observed_at":"2025-09-07 04:56:38.255315+00:00","record_version_id":"8f4fe7f36825eaac6a52bee903931765715d301e276aaa9c3d5b9b37303689b6","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-2b1b8e39131de92b94620b25c5bbb25690efed4c","semester":"1262","observed_at":"2025-06-01 07:54:53.913454+00:00","record_version_id":"f1fc66951a92a14f3212324ca80cf04958e2b104849354921fb18e1b49f762b5","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-33a1225644e5a5855d60f66e65413946e72fedf4","semester":"1262","observed_at":"2025-06-22 01:52:05.152650+00:00","record_version_id":"2cfd1da27f9b2acd8cefb0170a15ae5922f389bb4026dff135c757df09ea716b","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-3b89c83dbf5208e13756184de1f2b2d0c09af35f","semester":"1262","observed_at":"2025-06-30 06:40:10.235522+00:00","record_version_id":"fe42eb2068ba3ea2e2c776e7ae12644340904ca1e32b0fa2eafd2f298e5b136a","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-3c3eebf7f35c39364b445a2fa5a112ce28dbb4a1","semester":"1262","observed_at":"2025-06-01 17:03:59.062985+00:00","record_version_id":"056083752fd42f576b7ee1005f910046f2d3f78f2d2b98617c85900a19caa0c6","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-3fa4dd71391f1c9cf4ab2216680bbc428689f92d","semester":"1262","observed_at":"2025-05-25 01:15:58.180530+00:00","record_version_id":"923bda4eb6d690ca5dde4b1a4d2779b373991810d8eca60ca8bc4b2f27439b9d","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-4040aa216da722a34483f68fc1e129ea571ae08d","semester":"1262","observed_at":"2025-06-01 07:27:39.695506+00:00","record_version_id":"1cc03a6a3db9f63382145219de27fac6b6e8a9b80c86e509d9a22a2f6a8bb1a1","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-454d53cd690294459f8ad0793cc3ed562060e56c","semester":"1262","observed_at":"2025-05-25 01:34:00.536004+00:00","record_version_id":"c3608e3161ec9363900cd7b31ed7117f3cc41807da58ec4e7e9571fec88341bb","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-486f091e051fdb4ccdb80ee7b4fb0a5814510324","semester":"1264","observed_at":"2025-11-16 05:32:31.273726+00:00","record_version_id":"8865ce70950b90a080e7417c0315011730a421a4b3f4b9a16b6248bc6c4f4a01","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-50393cfc5fd5598d4f4731ef1919f2ff53af07d9","semester":"1262","observed_at":"2025-06-30 06:05:57.438846+00:00","record_version_id":"90125983c25ff268e1f59722708cbbce15bef44b4360aad4c7e9e4e4ee08efbf","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-50f6947786b208c800db8bbd0cec84a8f0f187d2","semester":"1262","observed_at":"2025-06-02 03:49:42.915428+00:00","record_version_id":"1d7702893432c25915e17c9163483882ad6479e72d3dbcd5e9e254124aae1a07","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-51d86ed4082dced3803c295419b0ec8440942016","semester":"1264","observed_at":"2025-11-12 04:50:41.141307+00:00","record_version_id":"03a1d35fc133f691bf6aedbdbed3f0c37f35231068b92175594afd2bfaf31ee3","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-53101bd1c10db0d00d094e4c9154d4c244ff23d9","semester":"1262","observed_at":"2025-10-05 04:58:05.366968+00:00","record_version_id":"b0e0027c05b40e12702d9c8c30ebfebe134018a0dfe9e7a5f22f3f5dd2276429","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-58751151c564e11c5cb8aedd3a2d3527c22f73eb","semester":"1262","observed_at":"2025-06-01 06:59:01.536576+00:00","record_version_id":"ef639d4de1a012af631e8851df61fa852230dd5135a4b805b467e03330b15c3b","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-5c4c8d3701a333ba4ddadef7d0b5dde8440fcdf0","semester":"1262","observed_at":"2025-06-01 01:57:51.256704+00:00","record_version_id":"b502164ae8f4dccc4e35ab9bd704273efe58658bde1336d03131cf63384ce5a4","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-5d20d9f81651d3c83fcaa2fd10870ce6e5d5a685","semester":"1262","observed_at":"2025-05-21 16:48:48.484741+00:00","record_version_id":"990197e6c5ab2c0b0308872936a7b098c6cca7441ee30b255d806e9a59e0a645","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-5feaebf2ab37051c86ad360cc0fa0d7e0e2ea295","semester":"1262","observed_at":"2025-05-24 15:58:23.378859+00:00","record_version_id":"16995a7b386dbb6fc67b66e34550dd462f0e1459d7cec436ad1103a2e6b062b5","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-60949965544fce098cc006354e201149005fb77b","semester":"1264","observed_at":"2025-10-26 05:07:14.077864+00:00","record_version_id":"4c09775f86fb320bbcc789a867eab854d68e9bea995da68ea000e2523bc6566b","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-639225ac3addf8522f1d30cb4fe26054ea7f8c49","semester":"1262","observed_at":"2025-06-01 08:14:42.497608+00:00","record_version_id":"a2974c66bd0a481e5bc1c5e3569d44106c2ea90115dc5e8bf47cc4d0c3dc3077","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-64093b17b3a9c67a41aa33eb37adb53ec38df714","semester":"1262","observed_at":"2025-05-22 02:11:02.531191+00:00","record_version_id":"6b9c57ad3f59a0afeed5f397b49fed39041610af1a4f7fba875071c068c77c11","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-6885b56099f55e08aa0205546369fb0381d50e13","semester":"1262","observed_at":"2025-07-13 04:59:22.367394+00:00","record_version_id":"4df677bd4aa22dd604fd4db48e51a1a070cde6ad3335abf9eca1eaa6b8407593","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-69d4b2b16e8268f75b6390b3a0e2ce8bf73999da","semester":"1262","observed_at":"2025-06-30 03:21:29.925498+00:00","record_version_id":"ade924ab73121e3f2f6bf015aae58d57f2bda1c45d07991b8d76a0f629a4d136","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-6b29c3e0673b2f9a736d2363db5409e03d5b3ed4","semester":"1264","observed_at":"2025-12-03 12:33:41.418072+00:00","record_version_id":"e62b9150381203bb1ad2fe2597ddc4ef3360757a027dfc5abb52e4d099f76d3b","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-73259984748de484976ef2ad56ad7ab3d4cb4518","semester":"1262","observed_at":"2025-06-26 08:27:56.461216+00:00","record_version_id":"96fca889fe1396bb6b63bd7bda91bba712b7b449cdfc2bde67538ef279fc681b","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-741602fbc6252c232a0b9e6bc1a9ae3101625f5a","semester":"1262","observed_at":"2025-06-30 22:49:32.522034+00:00","record_version_id":"7d8bddfd3e4e009b0078317b034497c4a902f9b942583dc828e3fabacd540464","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7774f45558276ec29bf626e58fffb4a27bdbb2a9","semester":"1264","observed_at":"2025-11-01 11:49:36.359151+00:00","record_version_id":"65e5347464af83170c596633e4779d7c8a6e6cc6c36c4560a36fb69853d790f7","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7ab7c5e783fc8ebef8b8ee8cea019ee37a72ce74","semester":"1262","observed_at":"2025-09-28 04:58:07.340658+00:00","record_version_id":"a42af09ebcf3b73f7336a65e57b4e8d25e822b6741eee553ee273c485f4565cc","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7b2f22d83ea05055ab90dcb77dc802382cccc6f7","semester":"1262","observed_at":"2025-05-21 17:56:46.096741+00:00","record_version_id":"b8694bf8e01c62b93175f018399a6ad9e363926003ee49f2c65a9977ffd0c869","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7ca1175502be18eb51f7b016818a884a43fd4ebb","semester":"1262","observed_at":"2025-07-29 06:28:23.644795+00:00","record_version_id":"83b6ce8dc0974cfc873979203b4b7602c7548a24548760896451b9ce491ceb57","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7d8cee5e42602ad9ba5dc0322085af2fa0dffaac","semester":"1262","observed_at":"2025-05-22 01:15:19.291664+00:00","record_version_id":"3c3d6e642eb9a509026853a694e6072b68528847d242c2409eec1b249769ddf1","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-81a0d6a7f668c98c59bd05fa988aa079c5ad1f68","semester":"1262","observed_at":"2025-05-31 07:49:50.419452+00:00","record_version_id":"de151e94f38ba2e295f746253bb561557de2717761be3138de4a427c5d4df5b2","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-82f31c08c746a214872494cde6ecaeb9330441b4","semester":"1262","observed_at":"2025-06-17 21:26:08.547156+00:00","record_version_id":"77c392ac7ce48c333c0fcd9f565d2cd2b2655e0cd04199a3077cc64ce1fdea6a","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-84c248343c5a99ab42c5616c594812a5e3e31cbb","semester":"1262","observed_at":"2025-07-04 06:00:07.487827+00:00","record_version_id":"2d4b84e2b96539bc7aebd0841e380b01cb56dd93bd679e1f9bbb792633f7de4c","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-86334e7275e315853287e8580c35456c68df800b","semester":"1262","observed_at":"2025-05-22 06:53:03.336354+00:00","record_version_id":"a20777a36965d624251f36c6dc9d859b447a1cb3731d5df61f073b12ffdc7f29","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-8686dc1664f93a6c05f50321410961b39b12f91b","semester":"1262","observed_at":"2025-05-28 10:17:41.595894+00:00","record_version_id":"a5caf21768f745ee86714039c4067eb5856d04df219a5962ca6110b4b45babad","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-86d941366886c9a14a2581c04e20d0bdd25e1b02","semester":"1262","observed_at":"2025-08-31 04:54:14.656039+00:00","record_version_id":"dfc1f55f97941c60e80b97aded0f6152e1591a666a0fefdda132704c3860e566","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-8ba1d2e6cfbb1525b4f9f769ec164fb6ad0f237a","semester":"1262","observed_at":"2025-06-02 05:22:45.010398+00:00","record_version_id":"9d1a02959fb4915bf6d0766532eb08b7337f1b64035ae1feb9681b13626d8834","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-90e5aa456689a3b222016c05c319bbcd0bddd453","semester":"1262","observed_at":"2025-05-25 02:00:10.037905+00:00","record_version_id":"a28af889e37918a0c51de02a36619bdc56be53c6a75808bfc42dd252c6a5b4e5","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-92d960aa7e4cd6e4c9ac8b2e232092904038e9e4","semester":"1262","observed_at":"2025-06-08 01:50:46.451351+00:00","record_version_id":"c66c8e0909efd2646e08944090a652245498c15e62591edbb87beebbba0dd1d0","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-94002ae588a8f71eca6d64105f2e603e8587293b","semester":"1262","observed_at":"2025-05-21 09:01:16.021508+00:00","record_version_id":"eeba360be45ca6aef97a5125101a641108d93225d51ce9ee7986a97646ee222d","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-9dd575e013c5c6e000ab3ad2d1288cc1dd9c96dc","semester":"1264","observed_at":"2025-12-21 04:47:46.589081+00:00","record_version_id":"fa3a6deb3b22c8bfb0bf581b7be49ede2e7cabfd3a03a1449b057719766cf449","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-a1ea26ed78cbd6e94bc3221e50a6ed9b6bf43871","semester":"1262","observed_at":"2025-05-25 09:16:55.180581+00:00","record_version_id":"b7fa85b1068d1a986806b612e3370a3f9b56c762aea358702fd0470f5f71af26","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-a76a3505853d5ea9c13bb98472b87361d469e2ee","semester":"1262","observed_at":"2025-05-28 18:03:41.793846+00:00","record_version_id":"c13d948611c99ecfdcd05e78ed5069d6a2f1e029c5f6faf590c838fc0910487d","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-b285d591f6acf3aa1910e02edc297664db86eb8c","semester":"1262","observed_at":"2025-06-10 22:48:22.460295+00:00","record_version_id":"553f48f57bf46b7da5e04ebd36c47270e17fd41fd617015492b1da9e3df83ad0","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-b79af756e4f00ba98231feb859ed8e98239eb811","semester":"1262","observed_at":"2025-05-22 02:47:56.931581+00:00","record_version_id":"85bc684b658dde3b2c78b2dc25a2e81c79fc9d96d1afac26bb72975017fd4d44","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-b89e05b94730c6471439082d9279c0a834a4aeec","semester":"1262","observed_at":"2025-08-26 20:25:42.325239+00:00","record_version_id":"2850b2051a8477daaaeb766816db7a4d610f3d02139312627a97a2d5df9ce45a","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-b9279a12d1f2688df9e556183c94d41a89e431dc","semester":"1262","observed_at":"2025-07-06 01:49:47.203835+00:00","record_version_id":"561f04090464279a4b12946e37f1e552573036f9d5ef726459fcdb63b029f548","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-bbdc905e96cc681a5e9a8b02c795b682206e36d1","semester":"1262","observed_at":"2025-06-25 08:02:45.445730+00:00","record_version_id":"b28f1e2e4fc3bc7a74d77235aaf53eb40fdf5a187b4c3e1ba8f5327900b90006","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-bde225b5243a13d81827aa173e39c78a652b54a0","semester":"1262","observed_at":"2025-05-23 07:22:33.219345+00:00","record_version_id":"fbf8fed2acc945cf9e7fbf5d7daf01efb1ed3c72f98b38ccaff68169139f911f","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-c1fac4cbfde737f4f4ac02cdf15e6f5a9b5b676d","semester":"1262","observed_at":"2025-05-22 01:15:19.291664+00:00","record_version_id":"3c3d6e642eb9a509026853a694e6072b68528847d242c2409eec1b249769ddf1","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-c6b62be45f8a13cba109ef2a7741b9cd9a6b8272","semester":"1262","observed_at":"2025-08-24 08:48:09.035112+00:00","record_version_id":"3e8cb1326477c9177070d33eb3f237ca06d7cb0ef45ada943ebd80ed1c84a1b9","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-cc83f62cb6db61f39320916d819ad48ce55cd96d","semester":"1262","observed_at":"2025-05-22 00:45:35.735230+00:00","record_version_id":"0013cdfcbd61b79644fde4ae775be7ef0be6437ecad0812987d0021e0d463354","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-d33818a01b6b4c5e2902e704da6e5b713742d4dc","semester":"1262","observed_at":"2025-10-13 10:46:24.251475+00:00","record_version_id":"0144588e506a0424849c0d447d1424729f40d5ecb10eed12c45a30003c312702","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-d3c17db9832d3064916046caf891dd23f10b1bb9","semester":"1262","observed_at":"2025-08-26 11:30:42.288639+00:00","record_version_id":"4a8188d93ec383402e6f7f8f1d8c6a60e1970b944b94def60ee19677e936dc50","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-d4ee226dc44268e9b6767fb9f5f20343322f494b","semester":"1262","observed_at":"2025-06-15 01:52:23.911697+00:00","record_version_id":"566292b15767c17336153e829efe67776819a9e15ad27926e66ab80d16ed610e","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-d8f9fc7f136e2033556d9d65bbdbdf33425dbdc9","semester":"1262","observed_at":"2025-05-28 16:48:12.400438+00:00","record_version_id":"5f8cdb6db2f2f02573c425c39d4785048451886aab20e240cc30129741075fa0","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-dbbc9739c616c3846b2e796e00a36fa41225f7d8","semester":"1262","observed_at":"2025-06-01 17:47:19.325144+00:00","record_version_id":"5774e5233b549809b07a88afa9c244b0ac2d42191cb66058f846c1c1037551d8","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-dbe5f2d24b48c3177297a3d69c553cc9d1194bac","semester":"1262","observed_at":"2025-09-14 05:00:27.366070+00:00","record_version_id":"25ff46e46d9f2249e205a307044beef0915de19899375aef23ac755058813a3f","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-dd357dc2758e9e282c30988a527ce37de92593b9","semester":"1264","observed_at":"2025-10-19 01:39:41.951404+00:00","record_version_id":"b26bc773cc1330983add988a66085041d2001ac49379a4a9fa0f2a1d42ccee5c","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-de74de559e409a3fe668685e28043b888d2e6841","semester":"1262","observed_at":"2025-06-27 07:38:50.882897+00:00","record_version_id":"f1b466893c24f8ecd420aeec8af9bf72380ee71a34ccfd700a9a1f21cf02ccd5","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-deca7188cf536ade3203cd88b52a45e92a059617","semester":"1262","observed_at":"2025-06-27 00:37:46.087071+00:00","record_version_id":"733213770ded75ce7dd7af4e16bcc5cb0656ffc20b97ee1d26eadcbd34c51631","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-df60fa9ac3931c5612b0fa641b7a6f5fbec86fab","semester":"1262","observed_at":"2025-05-24 06:36:37.554678+00:00","record_version_id":"2ff91c8e47c1d9f3c22aac06a676a7292eca4498347aaecbae4400d1ce534690","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-e339da2d849aaf8bb4dceca07a84728af23cf755","semester":"1262","observed_at":"2025-07-23 08:49:22.748925+00:00","record_version_id":"8bfe4049056f508a30c214d533ba0e684d8eca8226a8ead484d74e8fc41495e8","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-e934b1784835f5d36ae9b7ef0992b11e72c39142","semester":"1262","observed_at":"2025-06-01 06:21:25.219533+00:00","record_version_id":"6151a056ca2162e6625a9fa987073ac70ae654a423f0b731dbf48373331185e4","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-ef471690c082448deebd2687eab84b0b78813c36","semester":"1262","observed_at":"2025-06-29 01:47:56.317645+00:00","record_version_id":"b0d28ef90ad07d3873a53b779a2ca789c83d51f2b86723c7ca3537e14ffcc950","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-efc4e8e2cd7c3f68e059a308990c00c77c7611eb","semester":"1264","observed_at":"2025-10-16 05:48:13.935141+00:00","record_version_id":"4905cf5bf688cbd54e1a469619ba9a1b0d703e3511068972d2a27891b3e15861","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-f18b7749725097d41f69c60779ff38cf073b93b3","semester":"1262","observed_at":"2025-05-21 19:52:03.259353+00:00","record_version_id":"ef9cdd086361634ca5c250d993f47eca06ad99092566f0e5de8d91faf089a3df","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"dad0681eb93310fa01dc3d0819f314683bf91a517967075385c7f5623e465397","course_number":571,"subjects":["MATH","PHILOS"],"title":"MATHEMATICAL LOGIC","description":"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.","requirements_text":"(MATH 234or375), (MATH 320,340,341, or375), and (MATH 341,375,421,467, or521), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"}]