Tools

LEADER 01288cam 2200385 i 4500

001 ocm03085044;

005 20141211215806.0;

008 770912s1977 enk b 001 0 engm ;

010 a| 77366152;

015 a| GB***;

020 a| 019853163X :c| £4.95;

035 a| (Sirsi) o03085044;

035 a| (OCoLC)3085044;

049 a| ERE*;

050 00 a| QA9.47b| .T77;

082 0 a| 511/.2;

100 1 a| Troelstra, A. S.q| (Anne Sjerp)=| ^A18446;

245 10 a| Choice sequences :b| a chapter of intuitionistic mathematics /c| by A. S. Troelstra.;

260 a| Oxford [Eng.] :b| Clarendon Press,c| 1977.;

300 a| ix, 170 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Oxford logic guides;

500 a| Includes index.;

504 a| Bibliography: p. [161]-167.;

650 0 a| Intuitionistic mathematics.=| ^A18447;

650 0 a| Sequences (Mathematics)=| ^A29909;

830 0 a| Oxford logic guides.=| ^A139801;

870 19 j| 100/1a| Troelstra, Anne Sjerp.;

919 a| BOOK;

596 a| 1;

998 a| 120463;

999 a| QA9.47 .T77w| LCc| 1i| 310372001446396d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 5/10/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.

Author/creator	Troelstra, A. S.
Format	Book
Publication Info	Oxford [Eng.] : Clarendon Press, 1977.
Description	ix, 170 pages ; 25 cm.
Subjects	Intuitionistic mathematics. Sequences (Mathematics)

Series	Oxford logic guides Oxford logic guides. ^A139801
General note	Includes index.
Bibliography note	Bibliography: p. [161]-167.
LCCN	77366152
ISBN	019853163X :

Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.

Click here for more information about this title