diff --git a/Logica/Primo ordine/2020-06-04 Modelli di Herbrand.pdf b/Logica/Primo ordine/2020-06-04 Modelli di Herbrand.pdf
new file mode 100644
index 0000000..2a4d66d
Binary files /dev/null and b/Logica/Primo ordine/2020-06-04 Modelli di Herbrand.pdf differ