02538nam 2200577 450 991047985660332120170822144423.01-4704-0470-2(CKB)3360000000465050(EBL)3114259(SSID)ssj0000889205(PQKBManifestationID)11482810(PQKBTitleCode)TC0000889205(PQKBWorkID)10875646(PQKB)10316495(MiAaPQ)EBC3114259(PPN)195417550(EXLCZ)99336000000046505020060713h20062006 uy| 0engur|n|---|||||txtccrSemigroups underlying first-order logic /William CraigProvidence, Rhode Island :American Mathematical Society,[2006]©20061 online resource (298 p.)Memoirs of the American Mathematical Society,0065-9266 ;number 866"Volume 184, number 866 (second of 4 numbers)."0-8218-4149-1 Includes bibliographical references (pages 243-244) and indexes.""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""""Appendix. Presentation of Î?S[sub(q)] and Related Structures""""Bibliography""; ""Index of Symbols""; ""Index of Phrases and Subjects""; ""List of Relations Involved in Presentations""; ""Synopsis of Presentations""Memoirs of the American Mathematical Society ;no. 866.Algebraic logicFirst-order logicSemigroupsElectronic books.Algebraic logic.First-order logic.Semigroups.511.3/24Craig William1918-953596MiAaPQMiAaPQMiAaPQBOOK9910479856603321Semigroups underlying first-order logic2156157UNINA