02319nam 2200517 450 00001428420050718115500.03-540-13900-1(vol. 1.)3-540-13901-X(vol. 2.)20030618d1984----km-y0itay0103----baengDEProceedings of the Logic colloquium held in Aachen, July 18-23, 1983Berlin [etc.]Springer19842 v.25 cm.Lecture notes in mathematics1103, 1104Part 1.: Models and sets / edited by G. H. Muller and M. M. Richter. - VIII, 484 p.Part 2.: Computation and proof theory / edited by M. M. Richter ... [et al.]. - VIII, 475 p.2001Lecture notes in mathematicsModels and setsComputation and proof theoryTeoria della dimostrazioneCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03DxxMathematical logic and foundations. Computability and recursion theory03FxxMathematical logic and foundations. Proof theory and constructive mathematics68-XXComputer scienceRichter,Michael M.Muller,Gert H.Logic colloquium<1983; Aechen>ITUniversità della Basilicata - B.I.A.RICAunimarc000014284Proceedings of the Logic colloquium held in Aachen, July 18-23, 198379806UNIBASMONSCISCIENZEEXT0020120030618BAS011247EXT0020120030714BAS011842EXT0020120030714BAS011843EXT0020120030714BAS01184520050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT58596S58596200307141VIII, 48451RiservatiVol. 1.: Models and setsBAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT58597S58597200306182VIII, 47551RiservatiVol. 2.: Computation and proof theory