Aritmetica di Robinson: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m bot - sostituzione di perché |
|||
Riga 37:
* [[Linguaggio del primo ordine]]
* [[Teoria del primo ordine]]
* [[Aritmetica di Peano]]
[[en:Robinson arithmetic]]
| |||