1.

Record Nr.

UNINA990009186020403321

Titolo

L'abus des drogues : prévention et lutte / Organisation mondiale de la santé ; publié sous la direction de M. Gossop, M. Grant

Pubbl/distr/stampa

Genève : OMS, 1991

ISBN

92-4-256134-7

Descrizione fisica

IX, 141 p. ; 24 cm

Locazione

DMIGI

Collocazione

IG 16 F 14

Lingua di pubblicazione

Francese

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNICAMPANIAVAN0254722

Autore

Hermes, Hans

Titolo

Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions / Hans Hermes ; Translated by G. T. Herman and O. Plassman

Pubbl/distr/stampa

Berlin, : Springer, 1969

Titolo uniforme

Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Edizione

[2. rev. ed]

Descrizione fisica

xii, 250 p. : ill. ; 24 cm

Soggetti

03-XX - Mathematical logic and foundations [MSC 2020]

03Dxx - Computability and recursion theory [MSC 2020]

03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia