Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 29

Logica matematica e teorie formalizzate

un quadro generale dei concetti e dei risultati fondamentali

  • Rogers, Robert

La verità trasmessa

la logica attraverso le dimostrazioni matematiche

  • Bellissima, Fabio

Ah! Ci sono!

paradossi stimolanti e divertenti

  • Gardner, Martin <1914-2010>

QED

fenomenologia della dimostrazione

  • Lolli, Gabriele

Trattato d'aritmetica

  • Bertrand, Joseph <1822-1900>

Alla ricerca di Omega

  • Chaitin, Gregory J.

Logica matematica

  • Toffalori, Carlo

Temi fondamentali della logica moderna [+]

  • Makinson, David Clement <1941->

Le due teste del tiranno [+]

metodi matematici per la libertà

  • Malvaldi, Marco

Complementi di matematiche moderne

logica matematica, teoria degli insiemi, strutture algebriche

  • Fiorentini, Mario

Logica matematica

strutture, rappresentazioni, deduzioni

  • Manca, Vincenzo <1949- >

Opere

  • Gödel, Kurt

Elementi di logica

con gli esercizi risolti

  • Lemmon, Edward John

Risultati 1-20 di 29