LEADER 01420nam1 22003973i 450 001 VAN0263396 005 20230918035201.515 100 $a20230918d1984 |0itac50 ba 101 $aeng$aGER 102 $aDE 105 $a|||| ||||| 200 1 $aProceedings of the Logic colloquium held in Aachen, July 18-23, 1983 210 $aBerlin$cSpringer$d1984 215 $a2 volumi p.$d24 cm 463 1$1001VAN0263394$12001 $aˆPart 1.: ‰Models and sets$fedited by G. H. Müller, M. M. Richter$1210 $aBerlin$cSpringer$d1984$1215 $aVIII, 484 p.$d25 cm$v1 463 1$1001VAN0263395$12001 $aˆPart 2.: ‰Computation and Proof Theory$fedited by Egon Börger ... [et al.]$1210 $aBerlin$cSpringer$d1984$1215 $ax, 482 p.$d24 cm$v2 610 $aAlgebra$9KW:K 610 $aBoolean algebra$9KW:K 610 $aCalculus$9KW:K 610 $aCantor$9KW:K 610 $aCommutative property$9KW:K 610 $aFinite$9KW:K 610 $aFunctions$9KW:K 610 $aGeometry$9KW:K 610 $aModel$9KW:K 610 $aModel theory$9KW:K 610 $aMorphism$9KW:K 610 $aOrdinals$9KW:K 610 $aProofs$9KW:K 620 $dBerlin$3VANL000066 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 912 $fN 912 $aVAN0263396 996 $aProceedings of the Logic colloquium held in Aachen, July 18-23, 1983$979806 997 $aUNICAMPANIA