Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 320-340 di 372

Opere [+]

  • Gödel, Kurt

Strutture linguaggi e sintassi

una introduzione

  • Luccio, Fabrizio

Logica numerica

  • Barbuto, Emiliano

Logica matematica [+]

strutture, rappresentazioni, deduzioni

  • Manca, Vincenzo <1949- >

Enumerabilità, deducibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Elementi di logica matematica

  • Novikov, Peter Sergeevic

Le due teste del tiranno [+]

metodi matematici per la libertà

  • Malvaldi, , Marco

Logic in the 20th century [+]

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

La luna nel pozzo cosmico

contare, pensare ed essere

  • Barrow, John D.

Labirinti, quadrati magici e paradossi logici

i dieci più grandi enigmi matematici di tutti i tempi

  • Danesi, Marcel

Opere

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

  • Godel, Kurt