01021nam0-22003371i-450-99000099702040332120070119143509.00-7204-2200-0000099702FED01000099702(Aleph)000099702FED0100009970220001205d1977----km-y0itay50------baengLogic colloquium '76proceedings of a conference held in Oxford in July 1976edited by R.O. Gandy, J.M.E. HylandAmsterdam [etc.]North-Holland1977x, 612 p.23 cmStudies in logic and the foundations of mathematics87LogicaRicorsività160Gandy,R.O.Hyland,John Martin ElliottLOGIC COLLOQUIUM, Oxford, 1976451474ITUNINARICAUNIMARCBK9900009970204033217-188.00110597FI1FI1Logic colloquium '76354334UNINA