Logica
A
C
D
E
F
H
I
L
M
N
P
R
S
T
T
tautologia
teorema di compattezza
teoremi di indecidibilita
1
2