Line 40: |
Line 40: |
| * [[Formal]] | | * [[Formal]] |
| == External links == | | == External links == |
− | * Encyclopædia Britannica, [http://www.britannica.com/eb/article-9034889/formal-system Formal system] definition, 2007. | + | * Encyclopædia Britannica, [https://www.britannica.com/eb/article-9034889/formal-system Formal system] definition, 2007. |
− | * Christer Blomqvist, [http://hemsidor.torget.se/users/m/mauritz/math/logic/inform.htm a introduction to formal systems], webpage 1997. | + | * Christer Blomqvist, [https://hemsidor.torget.se/users/m/mauritz/math/logic/inform.htm a introduction to formal systems], webpage 1997. |
− | * [http://www.cs.indiana.edu/~port/teach/641/formal.sys.haug.html What is a Formal System?]: Some quotes from John Haugeland's `Artificial Intelligence: The Very Idea' (1985), pp. 48-64. | + | * [https://www.cs.indiana.edu/~port/teach/641/formal.sys.haug.html What is a Formal System?]: Some quotes from John Haugeland's `Artificial Intelligence: The Very Idea' (1985), pp. 48-64. |
− | * Heinrich Herre [http://www-ls.informatik.uni-tuebingen.de/psh/forschung/publikationen/RoutledgeFLS1995.pdf. Formal Language and systems], 1997. | + | * Heinrich Herre [https://www-ls.informatik.uni-tuebingen.de/psh/forschung/publikationen/RoutledgeFLS1995.pdf. Formal Language and systems], 1997. |
− | * Peter Suber, [http://www.earlham.edu/~peters/courses/logsys/machines.htm Formal Systems and Machines: An Isomorphism], 1997. | + | * Peter Suber, [https://www.earlham.edu/~peters/courses/logsys/machines.htm Formal Systems and Machines: An Isomorphism], 1997. |
| | | |
| [[Category: General Reference]] | | [[Category: General Reference]] |
| [[Category: The Sciences]] | | [[Category: The Sciences]] |