Filtra i risultati

Tipologia

Provincia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 40-60 di 213

Dimostrazioni e confutazioni

La logica della scoperta matematica

  • Lakatos, Imre

La macchina e le dimostrazioni

matematica, logica e informatica

  • Lolli, Gabriele

Teoria degli insiemi

  • Lipschutz, Seymour

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.

Insiemi e relazioni [+]

  • Cordati Rosaia, Luigia

La linea del 20 [+]

metodo analogico per l'apprendimento del calcolo

  • Bortolato, Camillo

Teoria assiomatica degli insiemi [+]

insiemi costruibili e modelli boleani

  • Lolli, Gabriele

Matematica del credito e delle assicurazioni.

ad uso degli istituti professionali per il commercio

  • Boari, Federico.