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 60-80 di 458

testo

Implicazioni, endometria, universo del discorso

Testo bilingue di Franco Spisani

  • Spisani, Franco
testo

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.
testo

Scritti di logica

  • Leibniz, Gottfried Wilhelm: von
testo

I segreti di Pitagora

severamente vietato ai matematici

  • Zollo, Giuseppe
testo

Cento cose essenziali che non sapevate di non sapere

i meccanismi segreti del mondo che ci circonda

  • Barrow, John David
testo

[+]

la guida completa al teorema di incompletezza

  • Berto, Francesco
testo

Gödel, Escher, Bach [+]

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

  • Hofstadter, Douglas R.
testo

Lineamenti di logica matematica [+]

  • Casari, Ettore <1933-2019>
testo

La verità trasmessa [+]

la logica attraverso le dimostrazioni matematiche

  • Bellissima, Fabio
testo

Storia della logica [+]

da Boole ai nostri giorni

  • Mangione, Corrado

Risultati 60-80 di 458