Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 29

Ah! Ci sono!

paradossi stimolanti e divertenti

  • Gardner, Martin <1914-2010>

QED

fenomenologia della dimostrazione

  • Lolli, Gabriele

Trattato d'aritmetica

  • Bertrand, Joseph <1822-1900>

Logica matematica e teorie formalizzate

un quadro generale dei concetti e dei risultati fondamentali

  • Rogers, Robert

Logica matematica

  • Toffalori, Carlo

La verità trasmessa

la logica attraverso le dimostrazioni matematiche

  • Bellissima, Fabio

Alla ricerca di Omega

  • Chaitin, Gregory J.

Le due teste del tiranno [+]

metodi matematici per la libertà

  • Malvaldi, Marco

Opere

  • Gödel, Kurt

Dalla logica alla metalogica

scritti fondamentali di logica matematica

Temi fondamentali della logica moderna [+]

  • Makinson, David Clement <1941->

Alle origini della nuova logica

carteggio scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri

  • Frege, Gottlob

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

Elementi di logica

con gli esercizi risolti

  • Lemmon, Edward John

Risultati 1-20 di 29