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 480-500 di 2094

testo

Computabilità e ricorsività

problemi di logica matematica

  • Casari, Ettore
testo

Using the Borsuk-Ulam theorem

lectures on topological methods in combinatorics and geometry

  • Matousek, Jiri
testo

Reductive logic and proof-search

proof theory, semantics, and control

  • Pym, David J.
testo

Maximum and minimum principles

a unified approach, with applications

  • Sewell, M. J.
testo

Satisfiability problem

theory and applications : DIMACS workshop, March 11-13, 1996

  • Workshop on satisfiability problem: theory and applications Piscataway, NJ, USA, 1996
testo

Processes, terms and cycles

steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

testo

First-order logic

  • Smullyan, Raymond M.
testo

Principia mathematica

  • Whitehead, Alfred North

Risultati 480-500 di 2094

Seguici su Twitter

I Nostri Social