biblioteche, roma, libri, cd, dvd, prestito, consultazione, autori, editori, scuole, lettura, multicutura, multietnica, internet, wifi, biblioteche roma, biblioteche comune di roma

Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali

Cellucci, Carlo

Bollati Boringhieri - 1978

Questo volume contiene gli elementi della teoria della dimostrazione, cioe' di quella parte della logica matematica in cui si assumono le dimostrazioni come oggetto di studio matematico. Lo studio delle dimostrazioni puo' essere condotto con due finalita' differenti: fornire un'analisi generale della nozione di dimostrazione e delle sue proprieta', oppure elaborare uno strumento per la realizzazione del programma hilbertiano. A queste due finalita' corrispondono due diverse forme della teoria della dimostrazione, la teoria generale e la teoria riduttiva.
  • Lo trovi in
  • Scheda
  • Commenti