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 400-420 di 1074

Strutture dell'argomentare [+]

Moriconi, Enrico 1950-

Symbolic logic and The game of logic

both books bound as one

Carroll, Lewis

Introduction to symbolic logic and its applications [+]

Carnap, Rudolf

A calculus of communicating systems

Milner, Robin

Logic colloquium 2006

Logic colloquium Nijmegen 2006

Automi, linguaggi e calcolabilità [+]

Hopcroft, John E.

Il teorema di Godel

una messa a fuoco

Gentzen calculi for modal propositional logic [+]

Poggiolesi, Francesca

Essays in constructive mathematics

Edwards, Harold M.

Elementi di matematica combinatoria

Bertoni, Alberto 1946- Barlassina

Mathématiques de base pour les linguistes

Goujon, Pierre

Einführung in die Sprache der Logik

Freudenthal, Hans

Logic colloquium 2007

edited by Françoise Delon ... [et al.]

Logic colloquium Wroclaw 2007

Dalla macchina di Turing a P/NP

Mundici, Daniele 1946-

Incompletezza

saggio su Kurt Godel

Lolli, Gabriele

Algebraic complexity theory

Burgisser, Peter

The Banach-Tarski Paradox [+]

Tomkowicz, Grzegorz

Inexhaustibility

a non-exhaustive treatment

Franzen, Torkel

Logic colloquium '98

proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998

Association for symbolic logic

Reflections on the foundations of mathematics [+]

essays in honor of Solomon Feferman

Risultati 400-420 di 1074