01013nam0-2200373---450-99000840231040332120061017135417.00-387-30294-8000840231FED01000840231(Aleph)000840231FED0100084023120061017d2006----km-y0itay50------baengUSa---a---001yy<<A >>concise introduction to mathematical logicW. Rautenberg2nd editNew YorkSpringerc2006xvii, 256 p.24 cmUniversitextLogica matematicaFondamentiProgrammazione logica511.321itaRautenberg,Wolfgang57281ITUNINARICAUNIMARCBK990008402310403321C-6-(167-2EDMA1MA103-XX68N17Concise introduction to mathematical logic725105UNINA