Trovati 1 documenti.
E' necessario effettuare il login per completare l'operazione.
Hermes, Hans
Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
Torino : Boringhieri, 1975
Testi e manuali della scienza contemporanea. Serie di logica matematica