Titel: | |
VerfasserIn: | |
Sprache/n: | Englisch |
Veröffentlichungsangabe: | Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 |
Umfang: | Online-Ressource (X, 314 p, online resource) |
Art des Inhalts: | |
Schriftenreihe: | |
Bibliogr. Zusammenhang: | |
ISBN: | 978-3-540-37480-0 |
Identifikator: | DOI: 10.1007/BFb0062849 |
Schlagwörter: | |
Sachgebiete: | |
Mehr zum Thema: | Klassifikation der Library of Congress: QA1-939Dewey Dezimal-Klassifikation: 510 ; 512Book Industry Communication: PBBook Industry Communication: PBF |
Inhalt: | 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. |
Mehr zum Titel: | |
| |
| |
Standort: | Elektronische Ressource - Nutzung mit Bibliotheksausweis in den Lesesälen der Staatsbibliothek zu Berlin - kein REMOTE ACCESS möglich |
Volltext: | |
| |
| |
|
|
| |
Literaturverwaltung: | |
| |