01420nam1 22003973i 450 VAN026339620230918035201.51520230918d1984 |0itac50 baengGERDE|||| |||||Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983BerlinSpringer19842 volumi p.24 cm001VAN02633942001 ˆPart 1.: ‰Models and setsedited by G. H. Müller, M. M. Richter210 BerlinSpringer1984215 VIII, 484 p.25 cm1001VAN02633952001 ˆPart 2.: ‰Computation and Proof Theoryedited by Egon Börger ... [et al.]210 BerlinSpringer1984215 x, 482 p.24 cm2AlgebraKW:KBoolean algebraKW:KCalculusKW:KCantorKW:KCommutative propertyKW:KFiniteKW:KFunctionsKW:KGeometryKW:KModelKW:KModel theoryKW:KMorphismKW:KOrdinalsKW:KProofsKW:KBerlinVANL000066Springer <editore>VANV108073650ITSOL20240614RICANVAN0263396Proceedings of the Logic colloquium held in Aachen, July 18-23, 198379806UNICAMPANIA