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 300-320 di 342

testo

Enumerabilità, deducibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans
testo

Elementi di logica matematica

  • Novikov, Peter Sergeevic
testo

Logica numerica

  • Barbuto, Emiliano
testo

Logica matematica

strutture, rappresentazioni, deduzioni

  • Manca, Vincenzo <1949- >
testo

Logic in the 20th century

a series of papers on the present state and tendencies of studies

testo

La luna nel pozzo cosmico

contare, pensare ed essere

  • Barrow, John D.
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

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

Labirinti, quadrati magici e paradossi logici

i dieci più grandi enigmi matematici di tutti i tempi

  • Danesi, Marcel

Risultati 300-320 di 342

Seguici su Twitter

I Nostri Social