[{"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)","official_learning_outcomes_json":"[]"},{"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)","official_learning_outcomes_json":"[]"},{"run_id":"20261014T203208-0851c9a1","semester":"1274","observed_at":"2026-10-14 17:50:09.728220+00:00","record_version_id":"c2648aef21a690c5c072be7647a43f03263333ecb6139f9b776fbbc5b0febb42","course_id":"MATH/PHILOS 571","course_uid":"course_3f55e55b94f0e0724493de53","catalog_version_id":"610d011793f1113d11d529134b38dc7d03fa4c3bc42c7c59ea6fc81c836c6a1f","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)","official_learning_outcomes_json":"[{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:41.022582+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/math/\",\"term\":null,\"text\":\"Recall and state the formal definitions of the first-order logic and their properties used in formal logic (e.g., truth assignments, syntax, semantics, theories, models, etc.).\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:41.022582+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/math/\",\"term\":null,\"text\":\"Use such definitions to argue certain objects do or do not have the condition or property (e.g., decidability, compactness, undecidability, etc.).\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:41.022582+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/math/\",\"term\":null,\"text\":\"Recall and state the standard theorems of logic. (e.g., Soundness and Completeness Theorems, the Compactness Theorem, Godel's Incompleteness Theorem, etc.) and recall the arguments for these theorems and the underlying logic of their proofs.\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:41.022582+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/math/\",\"term\":null,\"text\":\"Use concepts from logic in the context of larger arguments (e.g., nonstandard models of arithmetic, etc.).\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:41.022582+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/math/\",\"term\":null,\"text\":\"Prove or disprove statements related to the above definitions, properties, and theorems using techniques of mathematical argument (direct methods, indirect methods, constructing examples and counterexamples, induction, etc.).\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:41.022582+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/math/\",\"term\":null,\"text\":\"Convey arguments using English and appropriate mathematical terminology, notation and grammar.\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:41.022582+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/math/\",\"term\":null,\"text\":\"Identify applications of course content in areas of modern research.\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:13.866117+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\",\"term\":null,\"text\":\"Recall and state the formal definitions of the first-order logic and their properties used in formal logic (e.g., truth assignments, syntax, semantics, theories, models, etc.).\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:13.866117+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\",\"term\":null,\"text\":\"Use such definitions to argue certain objects do or do not have the condition or property (e.g., decidability, compactness, undecidability, etc.).\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:13.866117+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\",\"term\":null,\"text\":\"Recall and state the standard theorems of logic. (e.g., Soundness and Completeness Theorems, the Compactness Theorem, Godel's Incompleteness Theorem, etc.) and recall the arguments for these theorems and the underlying logic of their proofs.\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:13.866117+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\",\"term\":null,\"text\":\"Use concepts from logic in the context of larger arguments (e.g., nonstandard models of arithmetic, etc.).\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:13.866117+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\",\"term\":null,\"text\":\"Prove or disprove statements related to the above definitions, properties, and theorems using techniques of mathematical argument (direct methods, indirect methods, constructing examples and counterexamples, induction, etc.).\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:13.866117+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\",\"term\":null,\"text\":\"Convey arguments using English and appropriate mathematical terminology, notation and grammar.\"},{\"catalog_year\":\"2026-2027\",\"observed_at\":\"2026-10-14T17:51:13.866117+00:00\",\"source\":\"catalog\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\",\"term\":null,\"text\":\"Identify applications of course content in areas of modern research.\"}]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"},{"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","official_learning_outcomes_json":"[]"}]