I più prestati (2)

Includi: nessuno dei seguenti filtri
× Soggetto PATENTE DI GUIDA - Manuali
Includi: tutti i seguenti filtri
× Nomi Hermes, Hans

Trovati 2 documenti.

Enumerabilità, decidibilità, computabilità
0 0
Libri Moderni

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

Scritti postumi
0 0
Libri Moderni

Frege, Gottlob

Scritti postumi / Gottlob Frege ; a cura di Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, con la collaborazione di Gottfried Gabriel e Walburga Rödding ; edizione italiana a cura di Eva Picardi

Napoli : Bibliopolis, ©1986, stampa 1987

Archivio di logica e filosofia della matematica ; 5