| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
Catalogo Collettivo Provinciale di Prato
Le ricerche
I servizi
Area personale
MediaLibraryOnLine
logo MLOL

Risultati ricerca

Selezione: Heron de Villefosse, Antoine-Marie Risultato ricerca: 2
Seleziona uno o più documenti

 

2/2  
Hermes, Hans . Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes. - Torino : Boringhieri, 1975. - 318 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.8 [CDD] | 511.8 [D] [D]

Biblioteca comunale Lazzerini: PD 22645

 

Seleziona uno o più documenti

 

Tempo di elaborazione: 1 secondo
Catalogo Collettivo Provinciale di Prato - Ultimo aggiornamento: 02-06-2024 03:12:51 - Schede in OPAC:  617174
EasyWeb Five © 5.7.3 - 1994-2024 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0