Changes

* [[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]]