Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 62

Completezza, compattezza e indecidibilità

un' introduzione alla logica matematica

  • Manaster, Alfred B.

Il primo libro di logica

introduzione ai metodi della logica contemporanea

  • Bencivenga, Ermanno

Quanti calzini fanno un paio?

le sorprese della matematica nella vita di tutti i giorni

  • Eastaway, Robert

Logica matematica e teorie formalizzate

un quadro generale dei concetti e dei risultati fondamentali

  • Rogers, Robert<1926- >

Proprietà e operazioni

teorie non estensionali delle classi

  • Cantini, Andrea

Implicazioni, endometria, universo del discorso

Testo bilingue di Franco Spisani

  • Spisani, Franco

La macchina e le dimostrazioni

matematica, logica e informatica

  • Lolli, Gabriele

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.

Mathematical logic

  • Ebbinghaus, Heinz Dieter

Risultati 1-20 di 62