01092nam0-22003851i-450-99001009197040332120160720103921.0978-0-521-70146-4001009197FED01001009197(Aleph)001009197FED0100100919720160720d2007----km-y0itaa50------baengUSa-------001yyComputability and logicGeorge S. Boolos, John P. Burgess, Richard C.n Jeffrey5th ed.CambridgeCambridge University Press@2007xiv, 350 p.26 cmreprinted 2008, 2009, 2010Matematica logicaMatematica simbolicaFunzioni calcolabili511.3Boolos,George S.Burgess,John P.Jeffrey,Richard C.ITUNINARICAUNIMARCBK990010091970403321511.3-BOO-1Int. 2016/177SC1511.3-BOO-1AInt. 2016/178SC1SC1UNINA