Arruda Ayda I Ed. Proceeding of mathematical logic - New York Marcell Dekker 1978 - xii, 303p. cm. - Lecture notes in pure and applied mathematics; 39 . Standard No.: 19561 Source: Textual Subjects--Topical Terms: Mathematics SymbolicLogic Dewey Class. No.: B:(R1)p7918,N77, L8