Kategori:Matematisk logik

A

• Algebraisk logik‎ (2 sidor)

B

• Beräkningsteori‎ (8 sidor)
• Boolesk algebra‎ (3 sidor)

F

• Formella system‎ (1 kategori, 1 sida)

K

• Kategoriteori‎ (6 kategorier, 11 sidor)
• Klassisk logik‎ (2 kategorier, 2 sidor)
• Kvantifikation‎ (1 sida)

M

• Modellteori‎ (13 sidor)
• Mängdteori‎ (5 kategorier, 92 sidor)

R

• Rekursion‎ (2 kategorier, 4 sidor)
• Rekursivitet‎ (2 kategorier, 4 sidor)

• Matematisk logik

A

• Alfabet (matematik)
• Andra ordningens logik
• Avgörbarhetsproblemet

B

• Bevisteori

C

• Church-Turings hypotes
• Churchs teorem

D

• Deduktionsteoremet

F

• Formellt system
• Fria och bundna variabler
• Fullständig (modellteori)
• Fullständighet (teori)

H

• Hyperreella tal

M

• Metamatematik
• Modellteori

N

• Normalform (logik)

P

• Paris-Harringtons sats
• Predikatlogik
• Påstående

R

• Relationslogik

T

• Tautologi (logik)