LEADER 01225nam1 22003973i 450 001 VAN00263396 005 20240806101512.54 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$1001VAN00263394$12001 $a<>Models and sets 463 \1$1001VAN00263395$12001 $a<>Computation and Proof Theory 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$c20250606$gRICA 912 $fN 912 $aVAN00263396 996 $aProceedings of the Logic colloquium held in Aachen, July 18-23, 1983$979806 997 $aUNICAMPANIA