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 100-120 di 1268

testo

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.
testo

Completezza, compattezza e indecidibilità

un' introduzione alla logica matematica

  • Manaster, Alfred B.
testo

Compendio di matematica finanziaria

operazioni di credito

  • Boggio, Tommaso
testo

Practical mathematics in the Italian Renaissance

a catalog of Italian abbacus, manuscripts and printed books to 1600

  • Van Egmond, Warren
testo

La teoria degli insiemi e l'ipotesi del continuo

Appendice all'edizione italiana di Gabriele Lolli

  • Cohen, Paul
testo

L'aritmetica speculativa nel Trattato di M. Benedetto

dal cod. L.IV.21 della Biblioteca degli Intronati di Siena

testo

Funzione e concetto

la funzione nella matematica e nella logica

  • Mangani, Nello
testo

Alle origini della nuova logica

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

  • Frege, Gottleb
testo

Cento problemi di Pollicino

letture di aritmetica con problemi da risolvere e da ricostruire

  • Dubouquet, Amélie
testo

Incompletezza

la dimostrazione e il paradosso di Kurt Gödel

  • Goldestein, Rebecca
testo

Matematica finanziaria

per il 3. anno degli Istituti tecnici commerciali

  • Zwirner, Giuseppe

Risultati 100-120 di 1268