01394nam0-2200469-i-450 99000980434040332120221107124710.0978-1-4471-4557-8paperback(Aleph)000980434FED0120131220d2013----km-y0itay50------baengGBa---a---001yyLogic and structureDirk van Dalen5. ed.LondonSpringer2013X, 263 p.24 cmUniversitextLogica matematica e fondamentiEsposizione didatticaDecidibilità di teorie e di insiemi di sentenzeLogica classica del primo ordineLogica di ordine superiore e teoria dei tipiSottosistemi della logica classicaProprietà base dei linguaggi e delle strutture del primo ordineUltraprodotti e costruzioni collegate511.321itavan Dalen,Dirk521698ITUNINAREICATUNIMARCBK990009804340403321C-6-(34-5ED343MA1C-6-(34-5ED-BISsenza inv.MA1MA103-0103B2503B1003B1503B2003C0703C20Logic and structure837692UNINA