LEADER 02275nam0 2200529 i 450 001 VAN0053731 005 20230207113033.711 010 $a978-08-17-63439-1 100 $a20060929d1989 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆThe ‰structure of decidable locally finite varieties$fRalph McKenzie, Matthew Valeriote 210 $aBoston$cBirkhäuser$d1989 215 $aVIII, 212 p.$d24 cm 410 1$1001VAN0029329$12001 $aProgress in mathematics$1210 $aBoston [etc.]$cBirkhäuser$v79 500 1$3VAN0254235$aˆThe ‰structure of decidable locally finite varieties$91427098 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03C05$xEquational classes, universal algebra in model theory [MSC 2020]$3VANC022423$2MF 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF 606 $a03D35$xUndecidability and degrees of sets of sentences [MSC 2020]$3VANC024436$2MF 606 $a03C13$xModel theory of finite structures [MSC 2020]$3VANC024491$2MF 610 $aAbelian groups$9KW:K 610 $aAlgebra$9KW:K 610 $aAlgorithms$9KW:K 610 $aBoolean algebra$9KW:K 610 $aBoundary Element Methods$9KW:K 610 $aDecidability$9KW:K 610 $aFunctions$9KW:K 610 $aGeometry$9KW:K 610 $aLanguage$9KW:K 610 $aMathematica$9KW:K 610 $aSet$9KW:K 610 $aSystem$9KW:K 610 $aTheorem$9KW:K 610 $aeXist$9KW:K 620 $dBoston$3VANL000051 700 1$aMcKenzie$bRalph$3VANV020731$055715 701 1$aValeriote$bMatthew$3VANV040764$0726126 712 $aBirkhäuser $3VANV108193$4650 801 $aIT$bSOL$c20230616$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Structure of decidable....pdf$zStructure of decidable....pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0053731 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2654 $e08 4882 I 20060929 996 $aStructure of decidable locally finite varieties$91427098 997 $aUNICAMPANIA