|
|
e7e73bd221
|
Correzioni varie
|
2020-07-11 12:54:37 +02:00 |
|
|
|
2f5a114391
|
Correzioni varie
|
2020-07-10 12:16:36 +02:00 |
|
|
|
1fc866feec
|
Correzioni varie
|
2020-07-09 11:25:35 +02:00 |
|
|
|
c590f1926e
|
Correzioni varie
|
2020-07-08 10:40:40 +02:00 |
|
|
|
72aabfceff
|
Logica 2020-06-15
|
2020-06-18 17:29:50 +02:00 |
|
|
|
ae81a68ed2
|
Aggiunge $\phi$ mancante in definizione espansione di Herbrand
|
2020-06-12 14:55:54 +02:00 |
|
|
|
b1b1616f65
|
Logica 2020-06-08
|
2020-06-12 13:32:50 +02:00 |
|
|
|
e5f1698eb4
|
Logica 2020-06-04
|
2020-06-10 17:17:30 +02:00 |
|
|
|
fdfd78f6fd
|
Logica 2020-06-03
|
2020-06-08 19:36:44 +02:00 |
|
|
|
123235ea97
|
Logica 2020-05-29
|
2020-06-04 13:59:46 +02:00 |
|
|
|
758de55d1c
|
Corregge titolo sezione "Classificazione delle formule"
|
2020-06-04 09:10:35 +02:00 |
|
|
|
309b3bd3a5
|
Corregge errore da copia-incolla
|
2020-06-03 18:26:55 +02:00 |
|
|
|
3d2be7d4b4
|
Logica 2020-05-28
|
2020-06-03 18:21:29 +02:00 |
|
|
|
e5d51f5e79
|
Logica 2020-05-26
|
2020-06-03 12:32:55 +02:00 |
|
|
|
43aaf7fbbb
|
Logica 2020-05-25
|
2020-06-01 13:16:57 +02:00 |
|
|
|
0ac6a2e6c6
|
Logica 2020-05-22
|
2020-05-26 15:26:10 +02:00 |
|
|
|
6bbfd7dc84
|
Logica 2020-05-21
|
2020-05-26 10:00:42 +02:00 |
|
|
|
f4f986fc0a
|
Logica 2020-05-19
|
2020-05-25 11:45:13 +02:00 |
|
|
|
8eaa2df590
|
Logica 2020-05-18
|
2020-05-25 11:24:59 +02:00 |
|
|
|
187ceef5a1
|
Corregge estensione file rinominato
|
2020-05-25 11:21:26 +02:00 |
|
|
|
16c7af45f2
|
Suddivide argomenti logica proposizionale e del primo ordine
|
2020-05-25 11:16:39 +02:00 |
|
