cam a22 2 4500 039366219 CHVBK 20190220052020.0 040112s1975 it 00 ita CcMedea 12.01.2004/mi (OCoLC)635788306 (SBT)000303467 SzBzSBTc LUBC ita ger Hermes Hans Enumerabilità, decidibilità, computabilità introduzione alla teoria delle funzioni ricorsive Hans Hermes ; [trad. di Edoardo Ballo] Torino Boringhieri 1975 318 p. 21 cm Testi e manuali della scienza contemporanea. Serie di logica matematica (SBT)000013757 27250453X Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Ballo Edoardo limend sbt T9 ccmedea sbt T9 SBT 100 1- Hermes Hans SBT 490 -- Testi e manuali della scienza contemporanea. Serie di logica matematica (SBT)000013757 27250453X SBT 700 1- Ballo Edoardo BK020000 XK020000 XK020000 SBT LUBC LUBC 508 LGC SB 1805