{"id":19636617,"url":"https://github.com/barton-willis/foundations-of-mathematics","last_synced_at":"2025-10-07T08:03:11.361Z","repository":{"id":110177211,"uuid":"564871099","full_name":"barton-willis/Foundations-of-Mathematics","owner":"barton-willis","description":"Here you will find some course materials for my Spring 2023 course MATH 250 (Foundations of Mathematics)","archived":false,"fork":false,"pushed_at":"2024-02-15T11:23:31.000Z","size":2339,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-01-09T16:59:37.504Z","etag":null,"topics":["education","latex-document","mathematics","proof"],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"cc0-1.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/barton-willis.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-11-11T17:43:30.000Z","updated_at":"2024-11-25T19:32:48.000Z","dependencies_parsed_at":"2024-02-15T12:30:43.731Z","dependency_job_id":"f4d91e7c-92be-4936-92e8-f6588da2000c","html_url":"https://github.com/barton-willis/Foundations-of-Mathematics","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/barton-willis%2FFoundations-of-Mathematics","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/barton-willis%2FFoundations-of-Mathematics/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/barton-willis%2FFoundations-of-Mathematics/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/barton-willis%2FFoundations-of-Mathematics/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/barton-willis","download_url":"https://codeload.github.com/barton-willis/Foundations-of-Mathematics/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240941503,"owners_count":19882062,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["education","latex-document","mathematics","proof"],"created_at":"2024-11-11T12:30:00.694Z","updated_at":"2025-10-07T08:03:11.229Z","avatar_url":"https://github.com/barton-willis.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Foundations-of-Mathematics\n\nHere you will find some course materials for my spring 2023 course MATH 250 (Foundations of Mathematics) at the University of Nebraska at Kearney. \nThis course covers sets, functions, and logic. And we'll learn the basic proof techniques. Along the way, we'll learn to use LaTeX.\n\nOur textbook is _Introduction to Mathematical Structures and Proofs_ (second edition) by Larry Gerstein. \n\n## License\n\nShield: [![CC BY 4.0][cc-by-shield]][cc-by]\n\nThis work is licensed under a\n[Creative Commons Attribution 4.0 International License][cc-by].\n\n[![CC BY 4.0][cc-by-image]][cc-by]\n\n[cc-by]: http://creativecommons.org/licenses/by/4.0/\n[cc-by-image]: https://i.creativecommons.org/l/by/4.0/88x31.png\n[cc-by-shield]: https://img.shields.io/badge/License-CC%20BY%204.0-lightgrey.svg\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbarton-willis%2Ffoundations-of-mathematics","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbarton-willis%2Ffoundations-of-mathematics","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbarton-willis%2Ffoundations-of-mathematics/lists"}