1.

Record Nr.

UNIBAS000009010

Autore

Hermes, Hans

Titolo

Enumerabilità decibilità computabilità / Hermes Hans ; [Traduzione di Edoardo Ballo]

Pubbl/distr/stampa

Torino : Boringhieri, 1975

Descrizione fisica

318 p. ; 21 cm

Collana

: Serie di logica matematica

Disciplina

511.3

Soggetti

Logica matematica

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia