01031nam0-22003371i-450-9900010937804033210-8247-7746-8000109378FED01000109378(Aleph)000109378FED0100010937820000920d1987----km-y0itay50------baengMathematical Logic and Theoretical Computer Scienceedited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. SmithNew York [etc.]Marcel Dekker1987xviii, 383 p.25 cmLecture notes in pure and applied mathematics106LogicaRicorsività160Kueker,David W.48406Lopez-Escobar,Edgar G.K.Smith,Carl H.ITUNINARICAUNIMARCBK9900010937804033217-26316653FI1FI1Mathematical Logic and Theoretical Computer Science335271UNINAING01