Logo Regione Toscana

biblio toscana
Cerca

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 440-460 di 750

testo

La logica matematica

  • Bocheński, Joseph M.
testo

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.
testo

Completezza, compattezza e indecidibilità

un' introduzione alla logica matematica

  • Manaster, Alfred B.
testo

Implicazioni, endometria, universo del discorso

Testo bilingue di Franco Spisani

  • Spisani, Franco
testo

Quanti calzini fanno un paio?

le sorprese della matematica nella vita di tutti i giorni

  • Eastaway, Robert
testo

Logica dimostrativa

  • Saccheri, Girolamo
testo

La logica formale

  • Bocheński, Joseph M.
testo

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans
testo

Alle origini della nuova logica

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

  • Frege, Gottleb
testo

La filosofia del linguaggio [+]

antologia dal Tractatus e dalle Ricerche

  • Wittgenstein, Ludwig
testo

Proprietà e operazioni [+]

Teorie non estensionali delle classi

  • Cantini, Andrea
testo

Complementi di matematiche

logica matematica, teoria degli insiemi, strutture algebriche

  • Fiorentini, Mario

Risultati 440-460 di 750

Seguici su Twitter

I Nostri Social