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.
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
| A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
| Autore | Mycielski Jan <1932-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
| Descrizione fisica | 1 online resource (78 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Lattice theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0849-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
| Record Nr. | UNINA-9910480032803321 |
Mycielski Jan <1932->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
| A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
| Autore | Mycielski Jan <1932-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
| Descrizione fisica | 1 online resource (78 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Lattice theory |
| ISBN | 1-4704-0849-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
| Record Nr. | UNINA-9910788873403321 |
|
Mycielski Jan <1932->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
| A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
| Autore | Mycielski Jan <1932-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
| Descrizione fisica | 1 online resource (78 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Lattice theory |
| ISBN | 1-4704-0849-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
| Record Nr. | UNINA-9910827763503321 |
|
Mycielski Jan <1932->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||