LEADER 01752nam0 2200337 i 450 
001 SUN0051578
005 20160516121814.303
010   $a978-08-218-0595-4$d0.00
100   $a20060907d1997       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Decision problems for equational theories of relation algebras$fHajnal Andreka, Steven Givant, Istvan Nemeti
210   $aProvidence, R. I.$cAmerican Mathematical Society$d1997
215   $aXIV, 126 p.$cill.$d26 cm.
410  1$1001SUN0024370$12001 $aMemoirs of the American Mathematical Society$v604$1210  $aProvidence$cAmerican mathematical society.
606   $a03B05$xClassical propositional logic [MSC 2020]$2MF$3SUNC021402
606   $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$2MF$3SUNC024400
606   $a03G15$xCylindric and polyadic algebras; relation algebras [MSC 2020]$2MF$3SUNC024503
606   $a08B15$xLattices of varieties [MSC 2020]$2MF$3SUNC024507
620   $aUS$dProvidence$3SUNL000273
700  1$aAndréka$b, Hajnal$3SUNV040514$00
701  1$aGivant$b, Steven R.$3SUNV040154$059680
701  1$aNemeti$b, Istvan$3SUNV040515$0726410
712   $aAmerican mathematical society$3SUNV001080$4650
801   $aIT$bSOL$c20200720$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Andreka, Givant, Nemeti - Decision problems for equational theories of relation algebras.pdf$zContents
912   $aSUN0051578
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0130        $e08   6970      I       20060907            
996   $aDecision problems for equational theories of relation algebras$91427672
997   $aUNICAMPANIA