Semigroups underlying first-order logic / / William Craig
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Craig William <1918->
|
| Titolo: |
Semigroups underlying first-order logic / / William Craig
|
| Pubblicazione: | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| ©2006 | |
| Descrizione fisica: | 1 online resource (298 p.) |
| Disciplina: | 511.3/24 |
| Soggetto topico: | Algebraic logic |
| First-order logic | |
| Semigroups | |
| Note generali: | "Volume 184, number 866 (second of 4 numbers)." |
| Nota di bibliografia: | Includes bibliographical references (pages 243-244) and indexes. |
| Nota di contenuto: | ""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"" | |
| Titolo autorizzato: | Semigroups underlying first-order logic |
| ISBN: | 1-4704-0470-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910827758603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Memoirs of the American Mathematical Society ; ; no. 866.