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 320-340 di 750

testo

Information randomness & incompleteness

papers on algorithmic information theory

  • Chaitin, Gregory J.
testo

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
testo

Logic colloquium '96

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

  • Association for symbolic logic
testo

Atti del Convegno internazionale di storia della logica

San Gimignano, 4-8 dicembre 1982

  • Convegno internazionale di storia della logica San Gimignano 1982
testo

Foundations of constructive mathematics

metamathematical studies

  • Beeson, Michael J.
testo

Fixing Frege

  • Burgess, John P.
testo

Logic of mathematics

a modern course of classical logic

  • Adamowicz, Zofia
testo

Logical methods

in honor of Anil Nerode's sixtieth birthday

testo

Protoalgebraic logics

  • Czelakowski, Janusz
testo

Abstract set theory

  • Fraenkel, Abraham A.

Risultati 320-340 di 750

Seguici su Twitter

I Nostri Social