01154nam0-22003491i-450-990001028700403321000102870FED01000102870(Aleph)000102870FED0100010287020000920d1978----km-y0itay50------baengDiagonal Methods and Strong Cuts in Models of ArithmeticKenneth Mc AloonAmsterdam [etc.]North-Holland1978171-29722 cmStudies in logic and the foundations of mathematicsvol. 96D.F. da: Logic Colloquium '77 : Proceedings of the colloquium held in Wroclaw, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff ParisLogicaRicorsività160McAloon,Kenneth48965Macintyre,AngusPacholski,LeszekParis,JeffITUNINARICAUNIMARCBK9900010287004033217-21511111FI1FI1Diagonal Methods and Strong Cuts in Models of Arithmetic339307UNINAING01