01063nam0-2200385-i-450-99000921390040332120100805111500.0978-1-4419-1220-6978-1-4419-1221-3000921390FED01000921390(Aleph)000921390FED0100092139020100805d2010----km-y0itay50------baengUSa---a---001yy<<A >>concise introduction to mathematical logicWolfgang Rautenberg3. ed.New YorkSpringer2010XXI, 319 p.24 cmUniversitextLogica matematica e fondamentiProgrammazione logica511.321itaRautenberg,Wolfang508483ITUNINAREICATUNIMARCBK990009213900403321C-6-(220-3ED24387MA1MA103-XX68N17Concise introduction to mathematical logic777145UNINA