biblio toscana

Libri preferiti

Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti

Area Personale

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Titolo

Autore

Soggetto

Ordinamento Alfabetico Alf. decr. Rilevanza Anno cresc. Anno decr.

Localizzazione Tutte Risorse pubblicate in Toscana

Lingua

Nazione

Tipologia Tipologia di supporto

Livello Bibliografico

Pubblicato dal

al

Isbn

Annulla ricerca

Risultati ricerca

Risultati 180-200 di 213

Pradikatenlogik und theorie der rekursiven funktionen

Hermes, Hans

Logica dimostrativa

Saccheri, Girolamo

Leggi fondamentali dell' aritmetica

Frege, Gottlob

Matematica senza numeri

Spirito, Giuliano

Il calcolo e la misura nel primo ciclo della scuola elementare

Decroly, Ovide

Sotto il segno di Gödel

Lolli, Gabriele

Proof theory and logical complexity

Girard, Jean-Yves

Incompletezza

la dimostrazione e il paradosso di Kurt Gödel

Goldestein, Rebecca

La prova matematica dell'esistenza di Dio

Kurt Goedel

GoedelKurt

The formalization of intuitionism

Myhill, John

L'insegnamento della matematica

Categorie, universi e principi di riflessione

Lolli, Gabriele

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

Hermes, Hans

Practical mathematics in the Italian Renaissance

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

Van Egmond, Warren

Trattato d'aritmetica

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

Dagomari, Paolo

Matematica finanziaria

per il 3. anno degli Istituti tecnici commerciali

Zwirner, Giuseppe

L'aritmetica speculativa nel Trattato di M. Benedetto

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

Fondamenti di logica per insegnanti

Varga, Tamás

Tractatus logico-philosophicus

Wittgenstein, Ludwig

Da Euclide a Godel

Lolli, Gabriele

Risultati 180-200 di 213