ic.openlogicproject.org
Preview meta tags from the ic.openlogicproject.org website.
Linked Hostnames
8- 3 links togithub.com
- 2 links toic.openlogicproject.org
- 1 link tocreativecommons.org
- 1 link torichardzach.org
- 1 link towww.amazon.ca
- 1 link towww.amazon.co.uk
- 1 link towww.amazon.com
- 1 link towww.amazon.de
General Meta Tags
5- titleIncompleteness and Computability
- charsetutf-8
- descriptionIncompleteness and Computability is an open textbook on recursive function theory, Gödel's incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
- authorRichard Zach
- viewportwidth=device-width, initial-scale=1
Link Tags
3- stylesheethttps://fonts.googleapis.com/css?family=Noto+Sans
- stylesheetnormalize.css
- stylesheetskeleton.css
Links
11- https://creativecommons.org/licenses/by/4.0
- https://github.com/OpenLogicProject/OpenLogic
- https://github.com/OpenLogicProject/photos
- https://github.com/rzach/incompleteness-computability
- https://ic.openlogicproject.org