Name		Name	Last commit message	Last commit date
Latest commit History 159 Commits
aiphilo		aiphilo
category		category
philo		philo
0-blackburn-modal-logic.pdf		0-blackburn-modal-logic.pdf
0-downey-algorithmic-randomness-and-complexity.pdf		0-downey-algorithmic-randomness-and-complexity.pdf
0-ebbinghaus-mathematical-logic.pdf		0-ebbinghaus-mathematical-logic.pdf
0-enderton-a-mathematical-introduction-to-logic.pdf		0-enderton-a-mathematical-introduction-to-logic.pdf
0-jech-set-theory.pdf		0-jech-set-theory.pdf
0-logic-in-philosophy-of-science.pdf		0-logic-in-philosophy-of-science.pdf
0-manin-a-course-in-mathematical-logic-for-mathematicians.pdf		0-manin-a-course-in-mathematical-logic-for-mathematicians.pdf
0-model-theory-marker.pdf		0-model-theory-marker.pdf
0-nies-computability-and-randomness.pdf		0-nies-computability-and-randomness.pdf
0-shen-kolmogorov-complexity.pdf		0-shen-kolmogorov-complexity.pdf
0-soare-turing-computability.pdf		0-soare-turing-computability.pdf
0-swart-philosophical-and-mathematical-logic.pdf		0-swart-philosophical-and-mathematical-logic.pdf
README.md		README.md
benthem-logic-in-action.pdf		benthem-logic-in-action.pdf
benthem-modal-logic-for-open-minds.pdf		benthem-modal-logic-for-open-minds.pdf
enderton-computability-theory.pdf		enderton-computability-theory.pdf
murawski-recursive-functions-and-metamathematics.pdf		murawski-recursive-functions-and-metamathematics.pdf
nerode-logic-for-applications.pdf		nerode-logic-for-applications.pdf
s-logic.pdf		s-logic.pdf
template.pdf		template.pdf

Repository files navigation

A Beginner's Guide to Logic