Tools

LEADER 02091cam 22004331 4500

001 ocm00526307;

005 20141212080631.0;

008 840501s1965 ne b 100 0 engm ;

010 a| 66002289;

035 a| (Sirsi) o00526307;

035 a| (OCoLC)526307;

040 a| DLC/ICUc| CGUd| m.c.d| m/cd| EREd| m.c.d| UtOrBLW;

049 a| EREE;

050 00 a| QA9b| .L63 1963;

082 0 a| 164;

111 2 a| Logic Colloquiumn| (8th :d| 1963 :c| Oxford, Oxfordshire)?| UNAUTHORIZED;

245 10 a| Formal systems and recursive functions ;b| proceedings /c| Edited by J. N. Crossley and M. A. E. Dummett.;

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

300 a| 320 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;

500 a| Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.;

500 a| Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.;

504 a| Includes bibliographies.;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

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

700 1 a| Crossley, John N.=| ^A52188;

700 1 a| Dummett, Michael,d| 1925-2011.=| ^A89668;

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

710 2 a| North Atlantic Treaty Organization.=| ^A2388;

710 2 a| International Union of the History and Philosophy of Science.b| Division of Logic, Methodology and Philosophy of Science.=| ^A39006;

711 2 a| Symposium on Recursive Functionsd| (1963 :c| Oxford, Oxfordshire)?| UNAUTHORIZED;

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

919 a| BOOK;

596 a| 1;

998 a| 269701;

999 a| QA9 .L63 1963w| LCc| 1i| 30372004266489d| 1/31/2013e| 4/7/1993l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 2/7/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Formal systems and recursive functions ; proceedings / Edited by J. N. Crossley and M. A. E. Dummett.

Author/creator	Logic Colloquium
Format	Book
Publication Info	Amsterdam : North-Holland Pub. Co., 1965.
Description	320 pages ; 23 cm.
Subjects	Logic, Symbolic and mathematical. Recursive functions.

Other author/creator	Crossley, John N.
Other author/creator	Dummett, Michael, 1925-2011.
Other author/creator	Association for Symbolic Logic.
Other author/creator	North Atlantic Treaty Organization.
Other author/creator	International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Other author/creator	Symposium on Recursive Functions (1963 : Oxford, Oxfordshire)
Series	Studies in logic and the foundations of mathematics Studies in logic and the foundations of mathematics. ^A16526
General note	Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
General note	Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
Bibliography note	Includes bibliographies.
LCCN	66002289

Formal systems and recursive functions ; proceedings / Edited by J. N. Crossley and M. A. E. Dummett.

Click here for more information about this title