Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Semigroups underlying first-order logic / / William Craig
| Semigroups underlying first-order logic / / William Craig |
| Autore | Craig William <1918-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (298 p.) |
| Disciplina | 511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebraic logic
First-order logic Semigroups |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0470-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910479856603321 |
Craig William <1918->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semigroups underlying first-order logic / / William Craig
| Semigroups underlying first-order logic / / William Craig |
| Autore | Craig William <1918-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (298 p.) |
| Disciplina | 511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebraic logic
First-order logic Semigroups |
| ISBN | 1-4704-0470-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910788742903321 |
|
Craig William <1918->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semigroups underlying first-order logic / / William Craig
| Semigroups underlying first-order logic / / William Craig |
| Autore | Craig William <1918-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (298 p.) |
| Disciplina | 511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebraic logic
First-order logic Semigroups |
| ISBN | 1-4704-0470-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910827758603321 |
|
Craig William <1918->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||