Deutsch Englisch

______________

Speichern

Treffer filtern

Neue Suche

______________

Weitere Kataloge
und Datenbanken

Basisklassifikation

Historische Systematik
1501 - 1955

Lesesaal-
systematik

______________

Auskunft

Bibliothekskonto

Fernleihe

Digitalisat bestellen

Anschaffungs-
vorschlag

______________

Datenschutz

Barrierefreiheit

Impressum
(Imprint)

1 von 1
      
* Ihre Aktion  Suchen (Schlagwörter GND (Phrase) (XSP)) algebra.
 eingrenzen (Basisklassifikation (XBKL)) 31.20
E-Books/Online Ressourcen
Titel: 
VerfasserIn: 
Sprache/n: 
Englisch
Veröffentlichungsangabe: 
Berlin, Heidelberg : Springer Berlin Heidelberg, 1975
Umfang: 
Online-Ressource (X, 314 p, online resource)
Art des Inhalts: 
Konferenzschrift (1974, Clayton, Victoria)
Schriftenreihe: 
Bibliogr. Zusammenhang: 
ISBN: 
978-3-540-37480-0
Weitere Ausgaben: 978-3-540-07152-5 (Druckausgabe)
Identifikator: 
DOI: 10.1007/BFb0062849
Schlagwörter: 
Sachgebiete: 
Mehr zum Thema: 
Klassifikation der Library of Congress: QA1-939
Dewey Dezimal-Klassifikation: 510 ; 512
Book Industry Communication: PB
bisacsh: MAT000000
Book Industry Communication: PBF
bisacsh: MAT002000
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: 
Cover
Nationallizenzen
 
Standort: 
Elektronische Ressource - Nutzung mit Bibliotheksausweis in den Lesesälen der Staatsbibliothek zu Berlin - kein REMOTE ACCESS möglich
Volltext: 
 
 
 
Literaturverwaltung: 
zugehörige Publikationen
1 von 1
      
 
1 von 1