Home - Catalogo

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 1-20 di 96

testo

Proprietà e operazioni [+]

Teorie non estensionali delle classi

  • Cantini, Andrea
testo

Scritti scelti

  • Wittgenstein, Ludwig
testo

Complementi di matematiche

logica matematica, teoria degli insiemi, strutture algebriche

  • Fiorentini, Mario
testo

Logica matematica e teorie formalizzate

un quadro generale dei concetti e dei risultati fondamentali

  • Rogers, Robert<1926- >
testo

Scritti scelti [+]

1933-1964

  • Gödel, Kurt
testo

Alle origini della nuova logica

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

  • Frege, Gottlob
testo

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Risultati 1-20 di 96