Logo Regione Toscana

biblio toscana
Cerca

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

Il primo libro di logica [+]

introduzione ai metodi della logica contemporanea

  • Bencivenga, Ermanno
testo

Atti del Congresso nazionale di logica

Montecatini Terme, 1-5 ottobre 1979

  • Congresso nazionale di logica<1979; Montecatini Terme>
testo

Completezza, compattezza e indecidibilità

un' introduzione alla logica matematica

  • Manaster, Alfred B.
testo

Quanti calzini fanno un paio?

le sorprese della matematica nella vita di tutti i giorni

  • Eastaway, Robert
testo

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.
testo

Implicazioni, endometria, universo del discorso

Testo bilingue di Franco Spisani

  • Spisani, Franco
testo

Scritti di logica

  • Leibniz, Gottfried Wilhelm: von
testo

Assunto della trisezione generale degli angoli

saggio di geometria logica

  • Corsi, Lorenzo
testo

[+]

la guida completa al teorema di incompletezza

  • Berto, Francesco
testo

Il calcolatore universale [+]

da Liebniz a Turing

  • Davis, Martin
testo

La logica formale [+]

la logica matematica

  • Bochenski, Joseph M.

Risultati 60-80 di 458

Seguici su Twitter

I Nostri Social