Stav dette: Rudimentos de Lógica matemática.