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



3.

Record Nr.

UNISALENTO991003651289707536

Titolo

Heinemann Australian Dictionary / Written and compiled in association with members of the academic staff of La Trobe University

Pubbl/distr/stampa

South Yarra, Vic. : Heinemann Educational Australia, 1976

ISBN

0858591170

Descrizione fisica

ix, 1259 p. ; 19 cm

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia