01424nam0-2200457-i-450-99000947252040332120111103125611.0978-1-4471-2175-6978-1-4471-2176-3000947252FED01000947252(Aleph)000947252FED0100094725220111103d2011----km-y0itay50------baengGBa---a---001yyMathematical logic and model theorya brief introductionAlexander Prestel, Charles N. DelzellLondonSpringer2011X, 193 p.24 cmUniversitextLogica matematica e fondamentiEsposizione didatticaLogica classica del primo ordineProprietà base dei linguaggi e delle strutture del primo ordineEliminazione dei quantificatoriCompletezza del modello ed argomenti collegatiApplicazioni della teoria di modelli511.321itaPrestel,Alexander58277Delzell,Charles N.62841ITUNINAREICATUNIMARCBK990009472520403321C-6-(24224925MA1MA103-0103B1003C0703C1003C98Mathematical logic and model theory852468UNINA