Logo Regione Toscana

biblio toscana
Cerca

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 140-160 di 750

testo

Temporal logic

  • Rescher, Nicholas
testo

The uncertain reasoner's companion

a mathematical perspective

  • Paris, Jeff B.
testo

NOTES ON LOGIC

  • Lyndon, Roger C.
testo

Three-valued logic and cut-elimination

the actual meaning of Takeuti's conjecture

  • Girard, Jean-Yves
testo

Tutti pazzi per Gödel!

la guida completa al Teorema di incompletezza

  • Berto, Francesco 1973-
testo

Nonstandard analysis

theory and applications

  • Arkeryd, Leif
testo

Dimostrazioni e significato

Michael Dummett, Dag Prawitz, Per Martin Löf

  • Moriconi, Enrico
testo

Mathematical logic

  • ShoenfieldJoseph R.
testo

Coevolutionary fuzzy modeling

  • Peña Reyes, Carlos Andrés
testo

Logica

  • Antonelli, Silvano
testo

Theory and applications of satisfiability testing

8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings

  • International conference on theory and applications of satisfiability testing 8. St Andrews, Regno Unito 2005

Risultati 140-160 di 750

Seguici su Twitter

I Nostri Social