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 40-60 di 352

testo

Alle origini della nuova logica

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

  • Frege, Gottleb
testo

ReLog

regole logiche nelle dimostrazioni matematiche : le origini e lo sviluppo della logica nella fondazione delle teorie formali

  • Mangani, Nello
testo

Scritti di logica [+]

  • Peirce, Charles Santiago Sanders
testo

Atti del Congresso nazionale di logica

Montecatini Terme, 1-5 ottobre 1979

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

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.
testo

La macchina e le dimostrazioni [+]

matematica, logica e informatica

  • Lolli, Gabriele
testo

Complementi di matematiche

logica matematica, teoria degli insiemi, strutture algebriche

  • Fiorentini, Mario
testo

Completezza, compattezza e indecidibilità

un' introduzione alla logica matematica

  • Manaster, Alfred B.

Risultati 40-60 di 352

Seguici su Twitter

I Nostri Social