Tools

LEADER 01326cam 2200349 4500

001 ocm00213692;

005 20141212082948.0;

008 711008s1965 ne b 001 0 eng ;

010 a| 75020959;

035 a| (Sirsi) o00213692;

035 a| (OCoLC)213692;

037 c| 8.00;

049 a| EREE;

050 00 a| QA9b| .K648;

100 1 a| Kleene, Stephen Cole,d| 1909-1994.=| ^A71058;

245 14 a| The foundations of intuitionistic mathematics :b| especially in relation to recursive functions /c| [by] Stephen Cole Kleene [and] Richard Eugene Vesley.;

260 a| Amsterdam :b| North-Holland Pub. Co.,c| 1965.;

300 a| viii, 206 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and the foundations of mathematics;

504 a| "Bibliography, by S. C. Kleene": p. [187]-199.;

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

650 0 a| Recursive functions.=| ^A30764;

700 1 a| Vesley, Richard Eugene,d| 1932-=| ^A270263;

830 0 a| Studies in logic and the foundations of mathematics.=| ^A16526;

919 a| BOOK;

596 a| 1;

998 a| 388558;

999 a| QA9.K648w| LCc| 1i| 30372005874174d| 1/31/2013l| JGESm| JOYNERq| 2r| Ys| Yt| JGESBKu| 6/27/1991x| BOOKz| JSTACKSo| .STAFF. 0;

The foundations of intuitionistic mathematics : especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley.

Author/creator	Kleene, Stephen Cole
Other author	Vesley, Richard Eugene, 1932-
Format	Book
Publication Info	Amsterdam : North-Holland Pub. Co., 1965.
Description	viii, 206 pages ; 23 cm.
Subjects	Intuitionistic mathematics. Recursive functions.

Series	Studies in logic and the foundations of mathematics Studies in logic and the foundations of mathematics. ^A16526
Bibliography note	"Bibliography, by S. C. Kleene": p. [187]-199.
LCCN	75020959
Stock number	8.00

The foundations of intuitionistic mathematics : especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley.

Click here for more information about this title