Versionen fra 20. jun. 2012, 18:17 redigér Aputsiaq (diskussion \| bidrag) 15 edits mNo edit summary ← Gå til forrige forskel		Versionen fra 20. jun. 2012, 18:22 redigér fjern redigering Aputsiaq (diskussion \| bidrag) 15 edits mNo edit summary Gå til næste forskel →
Linje 48: == Se også == ~~{{Portal\|Logik}}~~ * [[Logik]] * [[Matematik]] Line 70 ⟶ 69: \|last1=Boolos \|first1=George \|author1-link=~~en:~~George Boolos \|last2=Burgess \|first2=John \|last3=Jeffrey \|first3=Richard \|author3-link=~~en:~~Richard Jeffrey \|title=Computability and Logic \|publisher=[[Cambridge University Press]] Line 188 ⟶ 187: \| last1=Jech \| first1=Thomas \| author1-link=~~en:~~Thomas Jech \| title=Set Theory: Millennium Edition \| publisher=[[Springer-Verlag]] Line 209 ⟶ 208: \| last1=Troelstra \| first1=Anne Sjerp \| author1-link=~~en:~~A. S. Troelstra \| last2=Schwichtenberg \| first2=Helmut Line 450 ⟶ 449: \| last1=Kleene \| first1=Stephen Cole \| author1-link=~~en:~~Stephen Kleene \| title=Recursive Predicates and Quantifiers \| year=1943 Line 471 ⟶ 470: \| last1=Löwenheim \| first1=Leopold \| author1-link=~~en:~~Leopold Löwenheim \| title=Über Möglichkeiten im Relativkalkül \| year=1915

Matematisk logik: Forskelle mellem versioner