01219nam0-2200421-i-450-99000979326040332120131121134408.0978-1-4614-5745-9paperback000979326FED01000979326(Aleph)000979326FED0100097932620131121d2013----km-y0itay50------baengUSa---a---001yy<<A >>course on mathematical logicShashi Mohan Srivastava2. ed.New YorkSpringer2013IX, 198 p.24 cmUniversitextLogica matematica e fondamentiLogica classica del primo ordineEliminazione dei quantificatoriCompletezza del modello ed argomenti collegatiUltraprodotti e costruzioni collegate511.321itaSrivastava,Shashi Mohan521449ITUNINAREICATUNIMARCBK990009793260403321C-6-(260244MA1MA103-XX03B1003C1003C20Course on mathematical logic836919UNINA