Editing Mathematical logic (section)

== External links ==
* {{Springer |title=Mathematical logic |id=p/m062660}}
* [http://www.quantrelog.se/pvlmatrix/index_main.htm Polyvalued logic and Quantity Relation Logic]
* ''[http://www.fecundity.com/logic/ forall x: an introduction to formal logic]'', a free textbook by {{nowrap|P. D. Magnus}}.
* ''[http://euclid.trentu.ca/math/sb/pcml/ A Problem Course in Mathematical Logic]'', a free textbook by Stefan Bilaniuk.
* Detlovs, Vilnis, and Podnieks, Karlis (University of Latvia), ''[http://www.ltn.lv/~podnieks/mlog/ml.htm Introduction to Mathematical Logic.]'' (hyper-textbook).
* In the [[Stanford Encyclopedia of Philosophy]]:
*: [http://plato.stanford.edu/entries/logic-classical/ Classical Logic] by [[Stewart Shapiro]].
*: [http://plato.stanford.edu/entries/modeltheory-fo/ First-order Model Theory] by [[Wilfrid Hodges]].
* In the [http://www.ucl.ac.uk/philosophy/LPSG/ London Philosophy Study Guide]:
*: [http://www.ucl.ac.uk/philosophy/LPSG/MathLogic.htm Mathematical Logic]
*: [http://www.ucl.ac.uk/philosophy/LPSG/SetTheory.htm Set Theory & Further Logic]
*: [http://www.ucl.ac.uk/philosophy/LPSG/PhilMath.htm Philosophy of Mathematics]
*[http://oldwww.ma.man.ac.uk/~jeff/ School of Mathematics, University of Manchester, Prof. Jeff Paris’s Mathematical Logic (course material and unpublished papers)]

{{Areas of mathematics}}
{{Computer science}}
{{Logic}}
{{Mathematical logic}}

{{Authority control}}

[[Category:Mathematical logic| ]]
[[Category:Logic]]
[[Category:Philosophy of mathematics]]