Filtra i risultati

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 320-340 di 458

Théorie des fonctions abéliennes [+]

  • Briot, Charles Auguste Albert, 1817-1882

Teoria della dimostrazione [+]

normalizzazioni e assegnazioni di numeri ordinali

  • Cellucci, Carlo

La verità trasmessa [+]

la logica attraverso le dimostrazioni matematiche

  • Bellissima, Fabio

La matematica della verità [+]

strumenti matematici della semantica logica

  • Casari, Ettore, 1933-2019

Logica matematica [+]

McGraw-Hill 2000

  • Toffalori, Carlo

Momenti di storia della logica [+]

dal 16. al 19. secolo

  • Freguglia, Paolo

Gödel, Escher, Bach [+]

un'eterna ghirlanda brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carroll

  • Hofstadter, Douglas R.

Alle origini della logica matematica [+]

un saggio introduttivo con confronti antologici da F. Enriques ...[et al.]

  • Mazzacua, Giorgio