-
RecordNumber
8963
-
Author
Logic Colloquium(1997 :Leeds, England)
-
Addition
,
-
Title
Sets and proofs:
-
Author Statement
edited by S. Barry Cooper, John K. Truss
-
Publication
Cambridge University Press
-
Collation
ix, 436 p.: figs, ill.;23 cm
-
Series
London Mathematical Society lecture note series ;258
-
Subject
Set theory- Congresses.,Proof theory- Congresses.
-
ADDED ENTRIES
AU Cooper, S.B.(S. Barry), editor , AU Truss, J.K., editor
-
LC Class
QA
-
LC Number
248
-
LC CutterNumber
.L 634
-
LC Date
1997
-
تاريخ ورود اطلاعات
1391/09/18
-
ISBNN
,
-
Bibliography
Includes bibliographical references
-
Published_Year
1999
-
Link To Document :
