Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in mathematics
450 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algebra and logic, papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Berlin, Springer, 1975, 1 vol. (VIII-307 p.), Lecture notes in mathematics, 3-540-07152-0 • Algebra and Logic, Texte imprimé, 9783662186978 |
Taula de continguts:
- Reminiscences of logicians
- Frames and models in modal logic
- A language and axioms for explicit mathematics
- Dimension theory of commutative polynomial rings
- Dimension theory of power series rings over a commutative ring
- Axiomatic classes in propositional modal logic
- Nilpotent actions on nilpotent groups
- Structure theorems for inverse semigroups
- Recursion theory and algebra
- An exposition of forcing
- Logic and foundations
- Church-Rosser theorems for replacement systems.