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 60-80 di 169

Leibniz e la logica simbolica

Mugnai, Massimo

Osservazioni sopra i fondamenti della matematica [+]

nuova edizione ampliata

Wittgenstein, Ludwig

Introduzione alla logica combinatoria

Hindley, J.Roger

Categorie nella pratica matematica [+]

MacLane, Saunders

Aritmetica

un approccio computazionale

Barozzi, Giulio Cesare

Aritmetica generale [+]

Doneddu, Alfred

Individui e mondi possibili

problemi di semantica modale

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

Hermes, Hans

Logica matematica

Schoenfield, Joseph R.

Teoria della dimostrazione

normalizzazione e assegnazione di numeri ordinali

Cellucci, Carlo

Le logiche libere [+]

La logica del tempo

Mondi della Logica

Carruccio, Ettore

Lineamenti di logica matematica [+]

Casari, Ettore

Manuale di logica [+]

Quine, Willard Van Orman

Modelli sintattici e semantici delle teorie elementari

DallaChiara Scabia, Maria Luisa

Lezioni di logica matematica

Lolli, Gabriele

Elementi di logica matematica

Mangione, Corrado

Elementi di logica matematica [+]

Novikov, Petr Sergeevic

Insiemi ed operazioni

Johnson, Donovan A.

Risultati 60-80 di 169