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

Categorie, universi e principi di riflessione

Lolli, Gabriele

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

Hermes, Hans

Categorie nella pratica matematica

MacLane, Sunders

Proof theory and logical complexity

Girard, Jean-Yves

Incompletezza

la dimostrazione e il paradosso di Kurt Gödel

Goldestein, Rebecca

Funzione e concetto

la funzione nella matematica e nella logica

Mangani, Nello

Notizie di logica

Foundations of set theory

Putnam, Hilary

Pradikatenlogik und theorie der rekursiven funktionen

Hermes, Hans

L'aritmetica speculativa nel Trattato di M. Benedetto

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

Matematica finanziaria

per il 3. anno degli Istituti tecnici commerciali

Zwirner, Giuseppe

Tractatus logico-philosophicus

Wittgenstein, Ludwig

Temi fondamentali della logica moderna [+]

Makinson, David C.

Cento problemi di Pollicino

letture di aritmetica con problemi da risolvere e da ricostruire

Dubouquet, Amélie

Cos'è la logica matematica

Lolli, Gabriele

Opere volume 1.: 1929-1936

Gödel, Kurt

Elements of logic and foundations of mathematics in problems

Marek, Wiktor

Scritti scelti [+]

1933-1964

Gödel, Kurt

Teoria della dimostrazione [+]

Il mago dei numeri

Un libro da leggere prima di addormentarsi, dedicato a chi ha paura della matematica

Enzensberger, Hans M.

Risultati 40-60 di 1268