Libri di John N. Crossley
-
What Is Mathematical Logic?
Venditore: Feltrinelli31,25 € -
Adapting Proofs-as-Programs: The Curry--Howard Protocol
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane247,20 € -
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday
Venditore: Feltrinelli203,90 € -
Adapting Proofs-as-Programs: The Curry--Howard Protocol
Venditore: Feltrinelli206,30 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.