LEADER 02536nam 2200577 450 001 9910827758603321 005 20170822144423.0 010 $a1-4704-0470-2 035 $a(CKB)3360000000465050 035 $a(EBL)3114259 035 $a(SSID)ssj0000889205 035 $a(PQKBManifestationID)11482810 035 $a(PQKBTitleCode)TC0000889205 035 $a(PQKBWorkID)10875646 035 $a(PQKB)10316495 035 $a(MiAaPQ)EBC3114259 035 $a(RPAM)14449863 035 $a(PPN)195417550 035 $a(EXLCZ)993360000000465050 100 $a20060713h20062006 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aSemigroups underlying first-order logic /$fWilliam Craig 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[2006] 210 4$dİ2006 215 $a1 online resource (298 p.) 225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vnumber 866 300 $a"Volume 184, number 866 (second of 4 numbers)." 311 $a0-8218-4149-1 320 $aIncludes bibliographical references (pages 243-244) and indexes. 327 $a""Contents""; ""Abstract""; ""Acknowledgements""; ""Overview""; ""Chapter I. Boolean, Relation-Induced, and Other Operations for Dealing with First-Order Definability""; ""Chapter II. Uniform Relations Between Sequences""; ""Chapter III. Diagonal Relations""; ""Chapter IV. Uniform Diagonal Relations and Some Kinds of Bisections or Bisectable Relations""; ""Chapter V. Presentation of S[sub(g)], S[sub(p)], and Related Structures""; ""Chapter VI. Presentation of S[sub(pq)], S[sub(pe)] and Related Structures""; ""Chapter VII. Presentation of S[sub(pqe)] and Related Structures"" 327 $a""Appendix. Presentation of I??S[sub(q)] and Related Structures""""Bibliography""; ""Index of Symbols""; ""Index of Phrases and Subjects""; ""List of Relations Involved in Presentations""; ""Synopsis of Presentations"" 410 0$aMemoirs of the American Mathematical Society ;$vno. 866. 606 $aAlgebraic logic 606 $aFirst-order logic 606 $aSemigroups 615 0$aAlgebraic logic. 615 0$aFirst-order logic. 615 0$aSemigroups. 676 $a511.3/24 700 $aCraig$b William$f1918-$01659426 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910827758603321 996 $aSemigroups underlying first-order logic$94014055 997 $aUNINA