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

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

Proof theory [+]

history and philosophical significance

A Boole anthology

recent and classical studies in the logic of George Boole

The Notre Dame lectures

Descriptive complexity

Immerman, Neil

Handbook of tableau methods

Paradox and paraconsistency

conflict resolution in the abstract sciences

Woods, John

[2] Mathematical logic

Turing, Alan

Mathematical reasoning with diagrams

from intuition to automation

Jamnik, Mateja

Constraint processing

Dechter, Rina

An introduction to substructural logics [+]

Restall, Greg

Computability & unsolvability

Davis, Martin 1928-

The temporal logic of reactive and concurrent systems

specification

Manna, Zohar

Bounded arithmetic, propositional logic, and complexity theory

Krajiček, Jan

Axiomatic theories of truth

Halbach, Volker

Ways of proof theory

La logica induttiva e i fondamenti della teoria delle probabilità

Di Maio, Maria Concetta

A concise introduction to mathematical logic

Rautenberg, Wolfgang

A tour through mathematical logic

Wolf, Robert S.

Risultati 260-280 di 750