00779nam0-22002411i-450-990001206020403321000120602FED01000120602(Aleph)000120602FED0100012060220000920d1987----km-y0itay50------baengMathematical Logic and Theoretical Computer ScienceEdited by David W. Kueker, Edgar G.K . Lopez-Escobar, Carl H. Smith.New York [etc.]Marcel Dekker1987Lecture notes in pure and applied mathematics106ITUNINARICAUNIMARCBK990001206020403321C-7-(1064395MA1MA1Mathematical logic and theoretical computer science82794UNINAING01