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 40-60 di 750

testo

Rationalismus im Ursprung

die Genesis des axiomatischen Denkens

  • Stachowiak, Herbert
testo

The infinite in mathematics

logico-mathematical writings

  • Kaufmann, Felix
testo

La guerra dei trent'anni, 1900-1930

da Hilbert a Gödel

  • Lolli, Gabriele
testo

The mathematical analysis of logic

being an essay towards a calculus of deductive reasoning

  • Boole, George
testo

Proceedings of the Conference on foundations of mathematics & physics

Perugia (Italy), 1989

  • Conference on foundations of mathematics and physics Perugia 1989
testo

Computational logic

essays in honor of Alan Robinson

  • Lassez, Jean-Louis
testo

Conditional term rewriting systems

Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 Proceedings

testo

Logic in computer science [+]

modelling and reasoning about systems

  • Huth, Michael
testo

Types for proofs and programs

international workshop, TYPES'98 : Kloster Irsee, Germany, march 27-31, 1998 : Selected papers

  • TYPES

Risultati 40-60 di 750

Seguici su Twitter

I Nostri Social