LEADER 01719nam0 2200349 i 450 
001 SUN0053731
005 20171122113327.349
010   $a08-17-63439-8$d0.00
010   $a978-08-17-63439-1
100   $a20060929d1989       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aThe *structure of decidable locally finite varieties$fRalph McKenzie, Matthew Valeriote
210   $aBoston$cBirkhäuser$d1989
215   $aVIII, 212 p.$d24 cm.
410  1$1001SUN0029329$12001 $a*Progress in mathematics$v79$1210  $aBoston$cBirkhäuser$d1970-.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03C05$xEquational classes, universal algebra in model theory [MSC 2020]$2MF$3SUNC022423
606   $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$2MF$3SUNC024400
606   $a03D35$xUndecidability and degrees of sets of sentences [MSC 2020]$2MF$3SUNC024436
606   $a03C13$xModel theory of finite structures [MSC 2020]$2MF$3SUNC024491
620   $dBoston$3SUNL000051
700  1$aMcKenzie$b, Ralph$3SUNV020731$055715
701  1$aValeriote$b, Matthew$3SUNV040764$0726126
712   $aBirkhäuser$3SUNV000319$4650
801   $aIT$bSOL$c20201012$gRICA
856 4 $uhttps://books.google.it/books?id=gGJg9z7BARoC&pg=PA199&dq=0817634398&hl=it&sa=X&ved=0ahUKEwj8u5WZ_dHXAhXL7RQKHaB6DsYQ6AEIJjAA#v=onepage&q&f=false
912   $aSUN0053731
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2654        $e08   4882      I       20060929            
996   $aStructure of decidable locally finite varieties$91427098
997   $aUNICAMPANIA