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

Logic colloquium '95

proceedings of the Annual European Summer Meeting of the Association of symbolic logic, held in Haifa, Israel, august 9-18, 1995

Association for symbolic logic

Beurteilbarer Inhalt und Gedanke in der Philosophie Gottlob Freges

Kaschmieder, Hartfried

Handbook of proof theory [+]

Logic colloquium '96

proceedings of the colloquium held in San Sebastián, Spain, july 9-15, 1996

Association for symbolic logic

Foundations of constructive mathematics

metamathematical studies

Beeson, Michael J.

Mathematics of modality

Goldblatt, Robert

Computability, complexity, and languages

fundamentals of theoretical computer science

Davis, Martin 1928-

In the light of logic

Feferman, Solomon

Fixing Frege

Burgess, John P.

Mathematische Einführung in die formale Grammatik

Hugues, Michel

Logic of mathematics

a modern course of classical logic

Adamowicz, Zofia

Computational complexity

Papadimitriou, Christos H.

Hiroakira Ono on Substructural logics

Language, logic and mathematics

Kilmister, C. W.

Contradictions from Consistency to Inconsistency

Algebraic foundations of many-valued-reasoning

Cignoli, Roberto L. O.

An introduction to many-valued logics [+]

Ackermann, Robert John

Logical dilemmas

the life and work of Kurt Gödel

Dawson, John W. Jr.

Protoalgebraic logics

Czelakowski, Janusz

Computers and intractability

a guide to the theory of NP-completeness

Garey, Michael R.

Risultati 500-520 di 1074