appunti/Logica/Primo ordine/2020-06-04 Modelli di Herbrand.pdf