Home - Catalogo

Filtra i risultati

Cerca per titolo, autore, soggetto

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

Risultati ricerca

Risultati 1-20 di 31

testo

Temi fondamentali della logica moderna [+]

  • Makinson, David Clement <1941->
testo

Le due teste del tiranno [+]

metodi matematici per la libertà

  • Malvaldi, Marco
testo

Ah! Ci sono!

paradossi stimolanti e divertenti

  • Gardner, Martin <1914-2010>
testo

QED

fenomenologia della dimostrazione

  • Lolli, Gabriele
testo

Trattato d'aritmetica

  • Bertrand, Joseph <1822-1900>
testo

Alla ricerca di Omega

  • Chaitin, Gregory J.
testo

Opere

  • Gödel, Kurt
testo

Dalla logica alla metalogica

scritti fondamentali di logica matematica

testo

Alle origini della nuova logica

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

  • Frege, Gottlob
testo

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario
testo

Logica

  • Varzi, Achille C.
testo

Complementi di matematiche moderne

logica matematica, teoria degli insiemi, strutture algebriche

  • Fiorentini, Mario

Risultati 1-20 di 31