biblio toscana

Libri preferiti

Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti

Area Personale

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Titolo

Autore

Soggetto

Ordinamento Alfabetico Alf. decr. Rilevanza Anno cresc. Anno decr.

Localizzazione Tutte Risorse pubblicate in Toscana

Lingua

Nazione

Tipologia Tipologia di supporto

Livello Bibliografico

Pubblicato dal

al

Isbn

Annulla ricerca

Risultati ricerca

Risultati 460-480 di 1074

Lectures on linear logic

Troelstra, Anne Sjerp

Principles of automated theorem proving

Duffy, David A.

Invariance and structural dependence

Odelstad, Jan

Diamonds and defaults

studies in pure and applied intensional logic

Arithmetic, proof theory, and computational complexity

Turing's world 3.0 for the Macintosh

an introduction to computability theory

Barwise, Jon

Between logic and intuition [+]

essays in honor of Charles Parsons

Teoria della complessità computazionale

Bovet, Daniel Pierre

Cornerstones of undecidability

Rozenberg, Grzegorz

Introduction to logic and to methodology of the deductive sciences

Tarski, Alfred

Cellular automata and complexity

collected papers

Wolfram, Stephen

Elements of the theory of computation [+]

Lewis, Harry R.

Modern logic [+]

a text in elementary symbolic logic

Forbes, Graeme

Handbook of recursive mathematics

Categorical logic and type theory

Jacobs, Bart

Computability

a mathematical sketchbook

Bridges, Douglas S. 1945-

Truth, proof and infinity

a theory of costructions and constructive reasoning

Fletcher, Peter

Twenty-five years of constructive type theory [+]

proceedings of a congress held in Venice, october 1995

Elements of symbolic logic

Reichenbach, Hans

The language of machines

an introduction to computability and formal languages

Floyd, Robert W.

Risultati 460-480 di 1074