Útgáfa síðunnar 20. nóvember 2007 kl. 12:34 breyta BotMultichill (spjall \| framlög) 10.911 breytingar m robot Bæti við: pl:Logika modalna ← Eldri breyting		Útgáfa síðunnar 5. desember 2007 kl. 04:32 breyta taka aftur þessa breytingu S.Örvarr.S.NET (spjall \| framlög) 8.528 breytingar m stubbavinnsla AWB Nýrri breyting →
Lína 14: *{{SEP\|logic-provability\|Provability Logic}} {{Stubbur\|heimspeki}} ~~{{Heimspekistubbur}}~~ [[Flokkur:Háttarökfræði\| ]]

„Háttarökfræði“: Munur á milli breytinga