di Gaetana Restuccia, Mariafortuna ParatoreIl modello di Herbrandt è un modello standard che permette di dimostrare teoremi importanti in Logica dei Predicati, quando non si possa disporre di un esempio concreto di modello per la...
Prezzo: € 10,00
Editore:
MagikaISBN: 9788889525159
Collana:
MagikaAnno Edizione: 2010