|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
EBOOKCENTRAL_ocn851088770 |
003 |
OCoLC |
005 |
20240329122006.0 |
006 |
m o d |
007 |
cr un||||||||| |
008 |
130627s1997 riua ob 001 0 eng d |
040 |
|
|
|a GZM
|b eng
|e pn
|c GZM
|d OCLCO
|d COO
|d UIU
|d OCLCF
|d N$T
|d LLB
|d YDXCP
|d OCLCQ
|d EBLCP
|d DEBSZ
|d OCLCQ
|d UKAHL
|d OCLCQ
|d LEAUB
|d OCLCQ
|d VT2
|d K6U
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
019 |
|
|
|a 922981633
|a 1086465587
|a 1262691021
|
020 |
|
|
|a 9781470401894
|q (electronic bk.)
|
020 |
|
|
|a 1470401894
|q (electronic bk.)
|
020 |
|
|
|z 0821805959
|q (pbk. ;
|q acid-free paper)
|
020 |
|
|
|z 9780821805954
|q (pbk. ;
|q acid-free paper)
|
029 |
1 |
|
|a AU@
|b 000069468093
|
029 |
1 |
|
|a DEBBG
|b BV043623608
|
029 |
1 |
|
|a DEBSZ
|b 452554128
|
035 |
|
|
|a (OCoLC)851088770
|z (OCoLC)922981633
|z (OCoLC)1086465587
|z (OCoLC)1262691021
|
050 |
|
4 |
|a QA3
|b .A57 no. 604
|a QA10
|
072 |
|
7 |
|a MAT
|x 039000
|2 bisacsh
|
072 |
|
7 |
|a MAT
|x 023000
|2 bisacsh
|
072 |
|
7 |
|a MAT
|x 026000
|2 bisacsh
|
082 |
0 |
4 |
|a 510 s
|a 511.3/24
|2 21
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Andréka, H.
|
245 |
1 |
0 |
|a Decision problems for equational theories of relation algebras /
|c Hajnal Andréka, Steven Givant, István Németi.
|
260 |
|
|
|a Providence, R.I. :
|b American Mathematical Society,
|c ©1997.
|
300 |
|
|
|a 1 online resource (xiv, 126 pages) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Memoirs of the American Mathematical Society,
|x 1947-6221 ;
|v v. 604
|
500 |
|
|
|a "March 1997, volume 126, number 604 (end of volume)."
|
504 |
|
|
|a Includes bibliographical references (pages 112-114) and indexes.
|
588 |
0 |
|
|a Print version record.
|
505 |
0 |
0 |
|t I. Preliminaries
|t II. Undecidability
|t III. A lattice embedding that preserves decidability and undecidability
|t IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory.
|
590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
650 |
|
0 |
|a Relation algebras.
|
650 |
|
0 |
|a Decidability (Mathematical logic)
|
650 |
|
6 |
|a Algèbres des relations.
|
650 |
|
6 |
|a Décidabilité (Logique mathématique)
|
650 |
|
7 |
|a MATHEMATICS
|x Essays.
|2 bisacsh
|
650 |
|
7 |
|a MATHEMATICS
|x Pre-Calculus.
|2 bisacsh
|
650 |
|
7 |
|a MATHEMATICS
|x Reference.
|2 bisacsh
|
650 |
|
7 |
|a Decidability (Mathematical logic)
|2 fast
|
650 |
|
7 |
|a Relation algebras
|2 fast
|
700 |
1 |
|
|a Givant, Steven R.
|
700 |
1 |
|
|a Németi, I.
|
758 |
|
|
|i has work:
|a Decision problems for equational theories of relation algebras (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCFrxDYd7DBr9k9R38FyKMK
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
776 |
0 |
8 |
|i Print version:
|a Andréka, H.
|t Decision problems for equational theories of relation algebras /
|x 0065-9266
|z 9780821805954
|
830 |
|
0 |
|a Memoirs of the American Mathematical Society ;
|v no. 604.
|x 0065-9266
|
856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3114361
|z Texto completo
|
938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH35005850
|
938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3114361
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 843108
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 12081604
|
994 |
|
|
|a 92
|b IZTAP
|