slc.openlogicproject.org
Preview meta tags from the slc.openlogicproject.org website.
Linked Hostnames
11- 7 links toslc.openlogicproject.org
- 4 links togithub.com
- 1 link tobuilds.openlogicproject.org
- 1 link tocreativecommons.org
- 1 link toforallx.openlogicproject.org
- 1 link torichardzach.org
- 1 link towww.amazon.ca
- 1 link towww.amazon.co.uk
General Meta Tags
5- titleSets, Logic, Computation: An Open Introduction to Logic
- charsetutf-8
- descriptionSets, Logic, Computation is an open textbook on metalogic, covering the proof and model theory of first-order logic, the completeness theorem, computability by Turing machines, and the undecidability of first-order logic
- authorRichard Zach
- viewportwidth=device-width, initial-scale=1
Link Tags
3- stylesheethttps://fonts.googleapis.com/css?family=Noto+Sans
- stylesheetnormalize.css
- stylesheetskeleton.css
Links
20- https://builds.openlogicproject.org
- https://creativecommons.org/licenses/by/4.0
- https://forallx.openlogicproject.org
- https://github.com/OpenLogicProject/OpenLogic
- https://github.com/OpenLogicProject/photos