Libri Moderni
Hermes, Hans
Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
- Prenota
- Copie totali: 1
- In prestito: 0
- Prenotazioni: 0
Titolo e contributi: Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
Pubblicazione: Torino : Boringhieri, 1975
Descrizione fisica: 318 p. : ; 21 cm.
Serie: Testi e manuali della scienza contemporanea ; Serie di logica matematica
Data:1975
Lingua: i (lingua del testo, colonna sonora, ecc.)
Serie:
Testi e manuali della scienza contemporanea
; Serie di logica
Dati generali (100)
- Tipo di data: monografia edita in un solo anno
- Data di pubblicazione: 1975
Sono presenti 1 copie, di cui 0 in prestito.
| Biblioteca | Collocazione | Inventario | Stato | Prestabilità | Rientra |
|---|---|---|---|---|---|
| Cantù | Saggistica adulti L - 561 | CA-11731 | Su scaffale | Disponibile |