Home - Catalogo

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 1-20 di 96

testo

La macchina e le dimostrazioni

matematica, logica e informatica

  • Lolli, Gabriele
testo

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.
testo

Implicazioni, endometria, universo del discorso

Testo bilingue di Franco Spisani

  • Spisani, Franco
testo

Completezza, compattezza e indecidibilità

un' introduzione alla logica matematica

  • Manaster, Alfred B.
testo

Elementi di logica [+]

con gli esercizi risolti

  • Lemmon, Edward John
testo

Il primo libro di logica

introduzione ai metodi della logica contemporanea

  • Bencivenga, Ermanno
testo

Quanti calzini fanno un paio?

le sorprese della matematica nella vita di tutti i giorni

  • Eastaway, Robert
testo

Proprietà e operazioni [+]

Teorie non estensionali delle classi

  • Cantini, Andrea
testo

Scritti scelti

  • Wittgenstein, Ludwig

Risultati 1-20 di 96