Più di un milione di libri, a un clic di distanza!
Bookbot
Il libro è attualmente esaurito

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Parametri

  • 436pagine
  • 16 ore di lettura

Maggiori informazioni sul libro

Focusing on computational logic and set theory, this essential text showcases Professor Jacob T. Schwartz's contributions to proof verification techniques. It delves into the ÆtnaNova system, a specialized program designed to ensure the correctness of mathematical proofs, highlighting its significance in the field.

Pubblicazione

Acquisto del libro

Computational Logic and Set Theory, Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz

Lingua
Pubblicato
2014
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione