01277cam0-22004331i-450-99000255874040332120061218133956.0000255874FED01000255874(Aleph)000255874FED0100025587420030910d1965----km-y0itay50------baengNLy-------101yyFormal systems and recursive functionsproceedings of the eighth logic colloquium, Oxford, July 1963edited by J. N. Crossley , M. A. E. DummettAmsterdamNorth Holland1965320 p.24 cmStudies in logic and the foundations of mathematicsInsiemiStrutture algebricheLogicaRicorsività516160Crossley,John NewsomeDummett,M.A.E.Logic Colloquium<8. ;1963 ;Oxford>493303ITUNINARICAUNIMARCBK990002558740403321MXXV-A-24034210MAS7-0794718FI1C-30-(3911001MA1MASFI1MA1Formal systems and recursive functions437000UNINA