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 240-260 di 750

Logic without frontiers

Festschrift for Walter Alexandre Carnielli on the occasione of his 60th birthday

Proofs and computations

Schwichtenberg, Helmut 1942-

Methods of cut-elimination [+]

Baaz, Matthias

Semantics and logics of computation [+]

Le point aveugle

cours de logique

Girard, Jean Yves

Logic, construction, computation

Mathematical logic in computer science

L 'insegnamento della logica

Towards mathematical philosophy

papers from the Studia Logica conference Trends in logic 4.

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

Logical foundations of proof complexity

Cook, Stephen

Applied proof theory

proof interpretations and their use in mathematics

Kohlenbach, Ulrich

Logic colloquium 2006

Logic colloquium Nijmegen 2006

A concise introduction to pure mathematics

Liebeck, Martin

Kurt Gödel

essays for his centennial

Algebraic and logic programming [+]

second international conference : Nancy, France, October 1-3, 1990 : proceedings

Logic for applications [+]

Nerode, Anil 1932-

The Banach-Tarski Paradox [+]

Tomkowicz, Grzegorz

Risultati 240-260 di 750