Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 320-340 di 352

Opere.

Volume 2, , 1938-1974

  • Godel, Kurt

Opere

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

  • Godel, Kurt

La luna nel pozzo cosmico

contare, pensare ed essere

  • Barrow, John D.

La matematica della verità [+]

strumenti matematici dellla semantica logica

  • Casari, Ettore

Labirinti, quadrati magici e paradossi logici

i dieci più grandi enigmi matematici di tutti i tempi

  • Danesi, Marcel

Individui e mondi possibili

problemi di semantica modale

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Logica matematica

  • Schoenfield, Joseph R.

I fondamenti della matematica

e altri scritti di logica

  • Ramsey, Frank P.

Introduzione alla logica

e alla metodologia delle scienze deduttive

  • Tarski, Alfred

Logica matematica [+]

  • Shoenfield, Joseph R.

Le menzogne di Ulisse

l'avventura della logica da Parmenide ad Amartya Sen

  • Odifreddi, Piergiorgio

Le logiche libere

  • Bencivenga, Ermanno

Scritti di logica matematica

  • Peirce, Charles Sanders