Berline C Ed. Proceeding on model theory and arithmetic - Berlin Springer Verlag 1981 - vi, 306p. cm. - Lecture notes in mathematics; 890 . Standard No.: 31175 Source: Textual Subjects--Topical Terms: Model theoryMathematics Dewey Class. No.: B1p1,N80, M1