01386nam a2200277 a 450000100060000000300080000600500170001400800410003103500190007204000320009104100080012308200260013124501540015726000480031130000260035950001310038550001940051665000460071065000330075670000350078970000470082483000640087194200120093599900170094795201440096451324BD-RjUL20211209075637.0160830s1965    ne            |00 0 eng    a(BD-RjUL)51444  aDLCcICUdDLCdBD-RjULbeng  aeng0 223a511.352bFOR 196510aFormal systems and recursive functions :bproceedings of the eighth logic colloquium oxford, July 1963 /cEdited by J.N. Crossley and M.A.E. Dummett.  aAmsterdam :bNorth-Holland Pub. Co.,c1965.  a[4], 320 p. ;c23 cm.  aHeld at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.  aIncludes 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. 0aLogic, Symbolic and mathematical.9117583 0aRecursive functions.91531601 aCrossley, John N.eed.91534981 aDummett, Michael,d1925-2011,eed.9153499  aStudies in logic and the foundations of mathematics9151087  2ddccBK  c51324d51324  00102ddc40708NFICaRUCLbRUCLcStackd1968-10-22eBook Vew, Dhakag90.00l0o511.352 FOR 1965r2016-08-30 00:00:00tC-2w2016-08-30yBK