Filtra i risultati

Provincia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 80-100 di 194

Dimostrazioni e significato

Michael Dummett, Dag Prawitz, Per Martin-Lof

  • Moriconi, Enrico <1950->

Logica, giochi linguistici e informazione

temi kantiani nella filosofia della logica

  • Hintikka, Jaakko

Introduzione alla logica simbolica

con particolare riferimento alle sue applicazioni

  • Carnap, Rudolf

Scintille matematiche

giochi e gare di creatività e logica

  • Toni, Paolo

ˆIl ‰gioco militare

ricreazioni matematiche 2.

  • Lucas, Edouard

ˆIl ‰labirinto

ricreazioni matematiche 1.

  • Lucas, Edouard

Fondamenti di logica

introduzione alla teoria della dimostrazione

  • Borga, Marco

Logica matematica

Strutture, rappresentazioni, deduzioni

  • Manca, Vincenzo

L'importanza di essere fuzzy

matematica e computer

  • Sangalli, Arturo

Godel, Escher, Bach [+]

un'eterna ghirlanda brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carroll

  • Hofstadter, Douglas R.

Risultati 80-100 di 194