Prezzo: € 18,00
Prodotto al momento non disponibile.
Titolo: Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
Autore:
Silvio Ghilardi
Editore: Polimetrica
Data di Pubblicazione: 2004
Pagine: 176
Formato: Brossura
ISBN: 9788876990069