01322nam a2200349 i 450099100111280970753620020507183510.0940608s1984 us ||| | eng 0387908951b1080268x-39ule_instLE01307226ExLDip.to Matematicaeng511.3AMS 03-01AMS 03-XXLC QA9.E2213Ebbinghaus, Heinz-Dieter46491Mathematical logic /Heinz-Dieter Ebbinghaus, Jörg Flum, Thomas WolfgangNew York ; Berlin ; Heidelberg :Springer-Verlag,c1984ix, 216 p. ;24 cmUndergraduate texts in mathematics,0172-6056Includes indexesTransl. from GermanMathematical logic and foundationsFlum, Jorgauthorhttp://id.loc.gov/vocabulary/relators/aut55649Thomas, Wolfgangauthorhttp://id.loc.gov/vocabulary/relators/aut349582.b1080268x23-02-1728-06-02991001112809707536LE013 03-XX EBB11 (1984)12013000141794le013-E0.00-l- 00000.i1090695228-06-02Mathematical logic1455776UNISALENTOle01301-01-94ma -engus 01