Materiali poveri e calcolatori per la logica matematica