Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 341

Proprietà e operazioni [+]

Teorie non estensionali delle classi

  • Cantini, Andrea

Completezza, compattezza e indecidibilità

un' introduzione alla logica matematica

  • Manaster, Alfred B.

Quanti calzini fanno un paio?

le sorprese della matematica nella vita di tutti i giorni

  • Eastaway, Robert

Complementi di matematiche

logica matematica, teoria degli insiemi, strutture algebriche

  • Fiorentini, Mario

Implicazioni, endometria, universo del discorso

Testo bilingue di Franco Spisani

  • Spisani, Franco

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.

Mathematical logic

  • Ebbinghaus, Heinz Dieter

Il riso di Talete

matematica e umorismo

  • Lolli, Gabriele

Scritti scelti [+]

1933-1964

  • Gödel, Kurt

ReLog

regole logiche nelle dimostrazioni matematiche : le origini e lo sviluppo della logica nella fondazione delle teorie formali

  • Mangani, Nello

Atti del Congresso nazionale di logica

Montecatini Terme, 1-5 ottobre 1979

  • Congresso nazionale di logica<1979; Montecatini Terme>

La nuova logica

  • Fuchs, Walter R.

Risultati 1-20 di 341