01225nam1 22003973i 450 VAN0026339620240806101512.5420230918d1984 |0itac50 baengGERDE|||| |||||Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983BerlinSpringer19842 volumi p.24 cm001VAN002633942001 <<Part 1.: >>Models and sets001VAN002633952001 <<Part 2.: >>Computation and Proof TheoryAlgebraKW:KBoolean algebraKW:KCalculusKW:KCantorKW:KCommutative propertyKW:KFiniteKW:KFunctionsKW:KGeometryKW:KModelKW:KModel theoryKW:KMorphismKW:KOrdinalsKW:KProofsKW:KBerlinVANL000066Springer <editore>VANV108073650ITSOL20250606RICANVAN00263396Proceedings of the Logic colloquium held in Aachen, July 18-23, 198379806UNICAMPANIA