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

testo

Opere

1, , <1929=millenovecentoventinove>-<1936=millenovecentotrentasei>

  • Godel, Kurt
testo

Teoria degli insiemi

...

  • Montanari, Gisella
testo

Individui e mondi possibili

problemi di semantica modale

testo

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans
testo

Logica matematica

  • Schoenfield, Joseph R.
testo

Insiemi ed operazioni

  • Johnson, Donovan A.
testo

I fondamenti della matematica

e altri scritti di logica

  • Ramsey, Frank P.
testo

Introduzione alla logica

e alla metodologia delle scienze deduttive

  • Tarski, Alfred
testo

Che cos'è la logica matematica?

  • What is mathematical logic?
testo

Logica e teorie formalizzate

completezza, incompletezza, indecidibilità

  • Palladino, Dario

Risultati 440-458 di 458

Seguici su Twitter

I Nostri Social