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

Proof theory [+]

history and philosophical significance

A Boole anthology

recent and classical studies in the logic of George Boole

Logic colloquium '01

proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic colloquium Vienna 2001

The Notre Dame lectures

Logic colloquium 2000

proceedings of the annual European summer meeting of the Association for symbolic logic, held in Paris, France July 23-31, 2000

Descriptive complexity [+]

Immerman, Neil

Handbook of tableau methods

A new kind of science

Wolfram, Stephen

Paradox and paraconsistency

conflict resolution in the abstract sciences

Woods, John

[2] Mathematical logic

Turing, Alan

Linguaggi modelli complessità

Ausiello, Giorgio

Mathematical reasoning with diagrams

from intuition to automation

Jamnik, Mateja

Subsystems of second order arithmetic

Simpson, Stephen George

Metamathematics of fuzzy logic [+]

Hájek, Petr

History and philosophy of constructive type theory

Sommaruga, Giovanni

Modal logic [+]

Blackburn, Patrick

An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities

Boole, George

Information-based complexity

Traub, Joseph Frederick

Computability in analysis and physics

Pour-El, Marian B.

Computability & unsolvability

Davis, Martin 1928-

Risultati 420-440 di 1074