This repo contains LaTeX source and finished PDFs of my coursework for a Directed Studies class on computability and metalogic. I'm taking this course in the Fall of 2014 at the University of South Florida under the direction of Professor Eric Winsberg.
-
Notifications
You must be signed in to change notification settings - Fork 0
dave-maldonado/boolos_and_jeffrey
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
work for my Directed Studies course covering Boolos and Jeffrey's 'Computability and Logic'
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published