01589nam 2200433 450 00001597120050718115600.00-8247-7746-820030827d1987----km-y0itay0103----baengUSMathematical logic and theoretical computer scienceedited by David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. SmithNew York [etc.]Marcel Dekkerc1987XVIII, 383 p.26 cm.Lecture notes in pure and applied mathematics1062001Lecture notes in pure and applied mathematicsLogica matematicaAlgebraElaborazione elettronica511.3(21. ed.)Logica matematica (Logica simbolica)68-XXComputer science03-XXMathematical logic and foundationKueker,David W.Lopez-Escobar,Edgar G. K.Smith,Carl H.ITUniversità della Basilicata - B.I.A.RICAunimarc000015971Mathematical logic and theoretical computer science82794UNIBASMONSCISCIENZEEXT0020120030827BAS01112220050601BAS011755batch0120050718BAS01105220050718BAS01111220050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT63390S633902003082751Riservati