1.

Record Nr.

UNISALENTO991000932469707536

Autore

Fenstad, Jens Erik

Titolo

Generalized recursion theory : proceedings of the 1972 Oslo symposium / ed. by J. E. Fenstad and P. G. Hinman

Pubbl/distr/stampa

Amsterdam : North-Holland, 1974

ISBN

044410545X

Descrizione fisica

viii, 456 p. ; 23 cm.

Collana

Studies in logic and the foundations of mathematics, ISSN 0049237X ; 79

Classificazione

AMS 03-XX

AMS 03C57

Altri autori (Persone)

Hinman, Peter G.

Disciplina

511.3

Soggetti

Recursion theory - Congresses

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliography: p. 445-451.

Includes 12 papers from the symposium



2.

Record Nr.

UNISALENTO991001884379707536

Autore

Goldman, Stanford

Titolo

Information theory / Stanford Goldman

Pubbl/distr/stampa

New York : Prentice-Hall, 1953

Descrizione fisica

xiii, 385 p. : ill. ; 22 cm

Collana

Prentice-Hall electrical engineering series

Classificazione

AMS 11K

AMS 62-XX

AMS 90-XX

AMS 91-XX

AMS 92-XX

AMS 93-XX

AMS 94-XX

LC Q360.G64

Disciplina

003.54

Soggetti

Information theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Ex libris Mario Lombardo

Nota di bibliografia

Bibliographical footnotes