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 520-540 di 1074

Logica simbolica

Chang, Chin-Liang

Interpolation and definability [+]

modal and intuitionistic logics

Gabbay, Dov M.

Models of Peano arithmetic

Kaye, Richard

Eléments de logique mathématique [+]

théorie des modèles

Kreisel, G.

Handbook of boolean algebras

Computational complexity theory

Logica e filosofia della scienza: problemi e prospettive

atti del Congresso triennale della Società italiana di logica e filosofia delle scienze : Lucca, 7-10 gennaio 1993

Società italiana di logica e filosofia delle scienze

Selected papers on automath

Logic colloquium '90

ASL summer meeting in Helsinki

Association for symbolic logic

Partiality, truth and persistence

Langholm, Tore

Teoria della computabilità e della complessità

Constructivism in mathematics

an introduction

Troelstra, Anne Sjerp

Logic and structure [+]

Dalen, Dirk: van

Visualization, explanation and reasoning styles in mathematics

Universal logic

Brady, Ross

GodelW0 11s theorem

an incomplete guide to its use and abuse

Franzen, Torkel

Godel's incompleteness theorems

Smullyan, Raymond

Theory and applications of cellular automata

(including selected papers 1983-1986)

Wolfram, Stephen

Relation algebras by games

Hirsch, Robin

Substitutions in dynamics, arithmetics and combinatorics [+]

Pytheas Fogg, N.

Risultati 520-540 di 1074