Home - Catalogo

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 1-20 di 95

testo

Le due teste del tiranno

metodi matematici per la libertà

  • Malvaldi, Marco
testo

Elementi di logica [+]

  • Lemmon, Edward John
testo

Incompletezza

la dimostrazione e il paradosso di Kurt Godel

  • Goldstein, Rebecca
testo

Letture di logica

fondamenti della matematica, linee di ricerca attuali

testo

Opere.

Volume 2, , 1938-1974

  • Godel, Kurt
testo

Opere

1, , <1929=millenovecentoventinove>-<1936=millenovecentotrentasei>

  • Godel, Kurt
testo

Il diavolo in cattedra [+]

la logica da Aristotele a Gödel

  • Odifreddi, Piergiorgio
testo

La matematica della verità

strumenti matematici dellla semantica logica

  • Casari, Ettore
testo

Labirinti, quadrati magici e paradossi logici

i dieci più grandi enigmi matematici di tutti i tempi

  • Danesi, Marcel
testo

La luna nel pozzo cosmico

contare, pensare ed essere

  • Barrow, John D.
testo

Logica matematica

  • Shoenfield, Joseph R.
testo

Scritti di logica [+]

  • Peirce, Charles Sanders
testo

Logica matematica e teorie formalizzate [+]

un quadro generale dei concetti e dei risultati fondamentali

  • Rogers, Robert

Risultati 1-20 di 95