Logo Regione Toscana

biblio toscana
Cerca

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 20-40 di 109

testo

Logic colloquium '88

proceedings of the colloquium held in Padova, Italy, August 22-31, 1988

testo

Logic colloquium '87

proceedings of the colloquium held in Granada, Spain, July 20-25, 1987

testo

Interactive Theorem Proving and Program Development

Coq'Art: the calculus of inductive constructions

  • Bertot, Yves
testo

Games, norms and reasons

logic at the crossroads

testo

Towards mathematical philosophy

papers from the Studia Logica conference Trends in logic 4.

testo

Logic colloquium 2006

  • Logic colloquium Nijmegen 2006
testo

Temporal logic

mathematical foundations and computational aspects

  • Gabbay, Dov M.
testo

Logic colloquium 2007

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

  • Logic colloquium Wroclaw 2007
testo

Reflections on the foundations of mathematics

essays in honor of Solomon Feferman

testo

A Boole anthology

recent and classical studies in the logic of George Boole

testo

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
testo

Logic colloquium 2000

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

testo

Paradox and paraconsistency

conflict resolution in the abstract sciences

  • Woods, John

Risultati 20-40 di 109

Seguici su Twitter

I Nostri Social