|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
EBOOKCENTRAL_ocn851088941 |
003 |
OCoLC |
005 |
20240329122006.0 |
006 |
m o d |
007 |
cr un||||||||| |
008 |
130627s2006 riu 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 E7B
|d OCLCQ
|d EBLCP
|d DEBSZ
|d OCLCQ
|d LEAUB
|d UKAHL
|d OCLCQ
|d K6U
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
019 |
|
|
|a 908039695
|a 922981879
|
020 |
|
|
|a 9781470404703
|q (electronic bk.)
|
020 |
|
|
|a 1470404702
|q (electronic bk.)
|
020 |
|
|
|z 0821841491
|
020 |
|
|
|z 9780821841495
|
029 |
1 |
|
|a AU@
|b 000062344664
|
029 |
1 |
|
|a AU@
|b 000069467207
|
029 |
1 |
|
|a DEBSZ
|b 452553229
|
035 |
|
|
|a (OCoLC)851088941
|z (OCoLC)908039695
|z (OCoLC)922981879
|
050 |
|
4 |
|a QA10
|b .C74 2006
|
072 |
|
7 |
|a MAT
|x 000000
|2 bisacsh
|
082 |
0 |
4 |
|a 511.3/24
|2 22
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Craig, William,
|d 1918-
|1 https://id.oclc.org/worldcat/entity/E39PBJptV3Yy7h76tvHYRYyPQq
|
245 |
1 |
0 |
|a Semigroups underlying first-order logic /
|c William Craig.
|
260 |
|
|
|a Providence, R.I. :
|b American Mathematical Society,
|c 2006.
|
300 |
|
|
|a 1 online resource (xxv, 263 pages)
|
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. 866
|
500 |
|
|
|a "Volume 184, number 866 (second of 4 numbers)."
|
504 |
|
|
|a Includes bibliographical references (pages 243-244) and indexes.
|
588 |
0 |
|
|a Print version record.
|
505 |
0 |
0 |
|t I. Boolean, relation-induced, and other operations for dealing with first-order definability
|t II. Uniform relations between sequences
|t III. Diagonal relations
|t IV. Uniform diagonal relations and some kinds of bisections or bisectable relations
|t V. Presentation of $\mathbf {S}_q$, $\mathbf {S}_p$, and related structures
|t VI. Presentation of $\mathbf {S}_{pq}$, $\mathbf {S}_{pe}$ and related structures
|t VII. Presentation of $\mathbf {S}_{pqe}$ and related structures.
|
590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
650 |
|
0 |
|a Algebraic logic.
|
650 |
|
0 |
|a First-order logic.
|
650 |
|
0 |
|a Semigroups.
|
650 |
|
6 |
|a Logique algébrique.
|
650 |
|
6 |
|a Logique du premier ordre.
|
650 |
|
6 |
|a Semi-groupes.
|
650 |
|
7 |
|a MATHEMATICS
|x General.
|2 bisacsh
|
650 |
|
7 |
|a Algebraic logic
|2 fast
|
650 |
|
7 |
|a First-order logic
|2 fast
|
650 |
|
7 |
|a Semigroups
|2 fast
|
776 |
0 |
8 |
|i Print version:
|a Craig, William, 1918-
|t Semigroups underlying first-order logic /
|x 0065-9266
|z 9780821841495
|
830 |
|
0 |
|a Memoirs of the American Mathematical Society ;
|v no. 866.
|x 0065-9266
|
856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3114259
|z Texto completo
|
938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH35006122
|
938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3114259
|
938 |
|
|
|a ebrary
|b EBRY
|n ebr11039878
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 843361
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 12081714
|
994 |
|
|
|a 92
|b IZTAP
|