Matematisk logik: Forskelle mellem versioner

Content deleted Content added
→‎Eksterne henvisninger: uppdaterar död länk
Linje 593:
{{Commonscat|Mathematical logic}}
* [http://world.logic.at/ Mathematical Logic around the world]
* [http://www.quantrelog.se Polyvalued logicLogic (PVL) och Quantity Relation Logic (QRL)]
* ''[http://www.fecundity.com/logic/ forall x: an introduction to formal logic]'', by [[P.D. Magnus]], is a free textbook.
* ''[http://euclid.trentu.ca/math/sb/pcml/ A Problem Course in Mathematical Logic]'', by Stefan Bilaniuk, is another free textbook.