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 240-260 di 458

Lezioni sull'intuizionismo [+]

Cambridge, 1946-51

Brouwer, L. E. J.

Scritti postumi [+]

Frege, Gottlob

QED [+]

fenomenologia della dimostrazione

Lolli, Gabriele

Logica matematica per l'informatica

Ben-Ari, Mordechai 1948-

Logica e informatica

scienze dell'artificiale e scienze dell'uomo

Sacchi, Giorgio 1955-

Frege e il neologicismo

Godel, Escher, Bach: un'eterna ghirlanda brillante [+]

una fuga metaforica su menti e macchine nello spirito di Lewis Carroll

Hofstadter, Douglas R.

Fondamenti di logica e matematica

Carnap, Rudolph

Menti, macchine e matematica

le nuove sfide dell'intelligenza artificiale

Belda Reig, Ignasi

Il software dell'universo [+]

saggio sulle leggi di natura

Dorato, Mauro

I sogni della ragione [+]

la logica matematica e i suoi paradossi

Fresán, Javier

La guerra dei trent'anni (1900-1930)

da Hilbert a Gödel

Lolli, Gabriele

Introduzione alla logica matematica [+]

MENDELSON, Elliot

Linguaggio verità e logica [+]

Ayer, A. J.

Algebra di Boole e circuiti di commutazione [+]

Mendelson, Elliott

Zero ; storia di una cifra

Kaplan, Robert

Logica e aritmetica [+]

Frege, Gottlob

Le ragioni fisiche e le dimostrazioni matematiche [+]

Lolli, Gabriele

Alle origini della nuova logica [+]

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

Frege, Gottlob

Temi fondamentali della logica moderna [+]

Makinson, David Clement, 1941-

Risultati 240-260 di 458