1.

Record Nr.

UNISALENTO991001340849707536

Autore

Logic colloquium <1997 ; Leeds, England>

Titolo

Sets and proofs : invited papers from Logic Colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss

Pubbl/distr/stampa

Cambridge : Cambridge University Press, 1999

ISBN

0521635497

Descrizione fisica

ix, 436 p. : ill. ; 23 cm

Collana

London Mathematical Society lecture note series, 0076-0552 ; 258

Classificazione

AMS 03-06

Altri autori (Persone)

Cooper, S. Barry

Truss, J. K.

Altri autori (Enti)

Association for Symbolic Logic

Disciplina

511.3

Soggetti

Proof theory - Congresses

Set theory - Congresses

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes bibliographical references