Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1020-1040 di 2094

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Trattato d'aritmetica [+]

secondo la lezione del codice Magliabechiano 11., 86 della biblioteca nazionale di Firenze

  • Dagomari, Paolo

La teoria degli insiemi e l'ipotesi del continuo

Appendice all'edizione italiana di Gabriele Lolli

  • Cohen, Paul

The lambda calculus [+]

its syntax and semantics

  • Barendregt, Hendrik Pieter

Compendio di matematica finanziaria

operazioni di credito

  • Boggio, Tommaso

Alle origini della nuova logica

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

  • Frege, Gottleb

Funzione e concetto

la funzione nella matematica e nella logica

  • Mangani, Nello

Cento problemi di Pollicino

letture di aritmetica con problemi da risolvere e da ricostruire

  • Dubouquet, Amélie

La teoria di Ramsey

  • Graham, Ronald L.

Matematica finanziaria

Per gli Istituti tecnici commerciali. Con 600 esercizi

  • Musumeci, Giuseppe

Pensare per modelli

schemi logici e strumenti di calcolo