LEADER 01895nam0 2200493 i 450 001 VAN0123305 005 20230918033829.106 010 $a978-35-401-3900-3 100 $a20190912d1984 |0itac50 ba 101 $aeng$aGER 102 $aDE 105 $a|||| ||||| 200 1 $aModels and sets$eproceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1$fedited by G. H. Müller, M. M. Richter 210 $aBerlin$cSpringer$d1984 215 $aVIII, 484 p.$d25 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v1103 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 606 $a03Gxx$xAlgebraic logic [MSC 2020]$3VANC024447$2MF 606 $a03Hxx$xNonstandard models [MSC 2020]$3VANC029540$2MF 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 702 1$aMüller$bGert H.$3VANV094692 702 1$aRichter$bMichhael M.$3VANV094693 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0123305 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2935 $e08DMF503 I 20190925 996 $aModels and sets$9262569 997 $aUNICAMPANIA