Tools

LEADER 01630cam 2200409 a 4500

001 ocm40777013;

003 OCoLC;

005 20141212132253.0;

008 990203s1999 enka b 100 0 eng ;

010 a| 99019676;

020 a| 0521635497 (pbk.);

035 a| (Sirsi) o40777013;

035 a| (OCoLC)40777013;

040 a| DLCc| DLCd| C#Pd| UtOrBLW;

049 a| EREE;

050 00 a| QA248b| .L634 1997;

082 00 a| 511.3/222| 21;

111 2 a| Logic Colloquiumd| (1997 :c| Leeds, England)?| UNAUTHORIZED;

245 10 a| Sets and proofs :b| invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /c| edited by S. Barry Cooper, John K. Truss.;

260 a| Cambridge, U.K. ;a| New York :b| Cambridge University Press,c| 1999.;

300 a| ix, 436 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| London Mathematical Society lecture note series ;v| 258;

504 a| Includes bibliographical references.;

650 0 a| Set theoryv| Congresses.=| ^A1018812;

650 0 a| Proof theoryv| Congresses.=| ^A27801;

700 1 a| Cooper, S. B.q| (S. Barry)=| ^A374667;

700 1 a| Truss, J. K.=| ^A390716;

710 2 a| Association for Symbolic Logic.=| ^A46576;

830 0 a| London Mathematical Society lecture note seriesv| 258.=| ^A27188;

910 a| PromptCat;

980 a| 1999-09-08b| 49.95d| 2.52e| 41.96f| 5645;

596 a| 1;

998 a| 656048;

999 a| QA248 .L634 1997w| LCc| 1i| 30372010635339d| 3/26/2013l| JGESm| JOYNERp| $41.96q| 1r| Ys| Yt| JGESBKu| 11/22/1999x| BOOKz| JSTACKSo| .STAFF. 0;

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.

Author/creator	Logic Colloquium
Other author	Cooper, S. B. (S. Barry)
Other author	Truss, J. K.
Other author	Association for Symbolic Logic.
Format	Book
Publication Info	Cambridge, U.K. ; New York : Cambridge University Press, 1999.
Description	ix, 436 pages : illustrations ; 23 cm.
Subjects	Set theory--Congresses. Proof theory--Congresses.

Series	London Mathematical Society lecture note series ; 258 London Mathematical Society lecture note series 258. ^A27188
Bibliography note	Includes bibliographical references.
LCCN	99019676
ISBN	0521635497 (pbk.)

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.

Click here for more information about this title