Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 31

Le due teste del tiranno [+]

metodi matematici per la libertà

  • Malvaldi, Marco

La verità trasmessa

la logica attraverso le dimostrazioni matematiche

  • Bellissima, Fabio

Temi fondamentali della logica moderna [+]

  • Makinson, David Clement <1941->

Logica e ragionamento

  • Johnson, Donovan A.

Logica, giochi linguistici e informazione

temi kantiani nella filosofia della logica

  • Hintikka, Jaakko

QED

fenomenologia della dimostrazione

  • Lolli, Gabriele

Trattato d'aritmetica

  • Bertrand, Joseph <1822-1900>

Alla ricerca di Omega

  • Chaitin, Gregory J.

Logica matematica

  • Toffalori, Carlo

Opere

  • Gödel, Kurt

Ah! Ci sono!

paradossi stimolanti e divertenti

  • Gardner, Martin <1914-2010>

Logica matematica e teorie formalizzate

un quadro generale dei concetti e dei risultati fondamentali

  • Rogers, Robert

Elementi di logica

con gli esercizi risolti

  • Lemmon, Edward John

Gödel, Escher, Bach [+]

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

  • Hofstadter, Douglas R.

Risultati 1-20 di 31