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 1-20 di 111

testo

Enumerability, decidability, computability

an introduction to the theory of recursive functions

  • Hermes, Hans
testo

Computabilità e insolubilità

introduzione alla teoria della computabilità e alla teoria delle funzioni ricorsive

  • Davis, Martin
testo

Selected logic papers

  • Quine, Willard Van Orman
testo

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

  • Hermes, Hans
testo

Recursive function theory

[proceedings of the fifth symposium in pure mathematics of the American mathematical society, held at the hotel New Yorker, New York, New York, April 6-7, 1961]

  • Symposium in pure mathematics 5. New York 1961
testo

Subrecursion

functions and hierarchies

  • Rose, Horace Edgard
testo

Recursion theory week

proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989

testo

Classical recursion theory [+]

the theory of functions and sets of natural numbers

  • Odifreddi, Piergiorgio

Risultati 1-20 di 111

Seguici su Twitter

I Nostri Social