​

Logica

A

C

D

E

F

H

I

L

M

N

P

R

S

T

T

tautologiateorema di compattezzateoremi di indecidibilita