Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 36

Logica matematica e teorie formalizzate

Un quadro generale dei concetti e dei risultati fondamentali

  • Rogers, Robert

Mondi della Logica

  • Carruccio, Ettore

Scritti di logica

  • Peirce, Charles Santiago Sanders

Il pensiero matematico

  • Stabler, Edward Russell

Dimostrazioni e confutazioni

la logica della scoperta matematica

  • Lakatos, Imre

Complementi di matematiche moderne

(logica matematica - teoria degli insiemi - strutture algebriche)

  • Fiorentini, Mario 1918-2022

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 36