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

testo

Logica e filosofia

  • Preti, Giulio 1911-1972
testo

Arithmetic of infinity

  • Sergeyev, Yaroslav D.
testo

Logic colloquium '99

proceedings of the Annual European summer meeting of the Association for symbolic logic, held in Utrecht, Netherlands August 1-6, 1999

  • Logic colloquium Utrecht 1999
testo

Logical foundations of computer science

4. international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

testo

Mathematical intuitionism

introduction to proof theory

  • Dragalin, Al'bert Grigor'evic
testo

Computer science logic

10. international workshop, CSL'96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

  • European association for computer science logic
testo

Structures in logic and computer science

a selection of essays in honor of A. Ehrenfeucht

testo

Language in action

categories, lambdas and dynamic logic

  • Benthem, Johan: van
testo

Nonmonotonic and inductive logic

second international workshop : Reinhardsbrunn Castle, Germany : December 2-6, 1991 : proceedings

testo

Lectures on linear logic

  • Troelstra, Anne Sjerp
testo

Diamonds and defaults

studies in pure and applied intensional logic

testo

Between logic and intuition [+]

essays in honor of Charles Parsons

testo

Logic and its applications

  • Burke, Edmund matematico

Risultati 280-300 di 750

Seguici su Twitter

I Nostri Social