1.

Record Nr.

UNISALENTO991000722369707536

Autore

Krajícek, Jan

Titolo

Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek

Pubbl/distr/stampa

Cambridge [England] ; New York : Cambridge University Press, 1995

ISBN

0521452058

Descrizione fisica

xiii, 343 p. ; 24 cm.

Collana

Encyclopedia of mathematics and its applications ; 60

Classificazione

AMS 03F

QA9.56.K73

Disciplina

511.3

Soggetti

Computational complexity

Constructive mathematics

Proposition (Logic)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes bibliographical references and indexes



2.

Record Nr.

UNISALENTO991001729789707536

Autore

Criscuoli, Giovanni

Titolo

Il banking ombudsman / Giovanni Criscuoli

Pubbl/distr/stampa

Milano : A. Giuffrè, stampa 1989

ISBN

8814019207

Descrizione fisica

73 p. ; 24 cm.

Collana

Quaderni di Banca, borsa e titoli di credito ; 12

Classificazione

CM-VII/G

Disciplina

346.45082

Soggetti

Contratti bancari - Controversie - Gran Bretagna

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia