GitHub - kyrylo/coursera-mathematical-thinking

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
lecture-0		lecture-0
lecture-1-introductionary-material		lecture-1-introductionary-material
lecture-2-logical-combinators		lecture-2-logical-combinators
lecture-3-implication		lecture-3-implication
lecture-4-equivalence		lecture-4-equivalence
lecture-5-quantifiers		lecture-5-quantifiers
lecture-6-working-with-quantifiers		lecture-6-working-with-quantifiers
lecture-7-proofs		lecture-7-proofs
lecture-8-proofs-with-quantifiers		lecture-8-proofs-with-quantifiers
.gitignore		.gitignore
timetable.pdf		timetable.pdf

Provide feedback