stefan berghofer (6 Ergebnisse)

Originalbroschur. Zustand: Sehr gut. 201 S. Einband berieben und fleckig. Papierbedingt gebräunt. - DAS KONSTITUENS DES WISSENSCHAFTLICHEN SOZIALISMUS Charakterisierung der Marxschen Methode -- Formulierung des wissenschaftlichen Sozialismus -- KONSTITUTIONSPROZESS DES KLASSENBEWUSSTSEINS Marxsche Theorie als wissenschaftliche Einsicht -- LUKACS' Unterscheidung von Alltagsbewußtsein und Klassenbewußtsein des Proletariats -- Rückwirkung des wissenschaftlichen Sozialismus auf den Konstitutionsprozeß des Klassenbewußtseins -- Entwicklung von Klasseninstinkt zu Klassenbewußtsein -- ZUSAMMENHANG VON ÖKONOMISCHEN FORMBESTIMMUNGEN, SOZIALEN BEZIEHUNGEN UND BEWUSSTSEINSFORMEN Mystifikation der gesellschaftlichen Verhältnisse -- Auflösungsprozeß des mystifizierten Bewußtseins -- THEORIE DER REVOLUTION Beschleunigung des revolutionären Prozesses -- Ideologische Krise -- Programm der Rückwirkung -- Konzeption revolutionärer Taktik Zusammenfassung -- WIEDERGEWINNUNG DES REVOLUTIONÄREN GEHALTS DES MARXISMUS DURCH ROSA LUXEMBURG UND LENIN. - Mitglieder des Autorenkollektivs: Joachim Bischoff, Walter Breum, Ulrich Felsberg, Hans-Robert Gath, Birgit Hentrich, Walter Hering, Ullrich Kaminiski, Peter Kolling, Bernhard Müller, Franz Sandforth, Manfred Schick, Urs Schoepflin, Dusan Tesic, Gisela Torbohm, Thomas Weden. ISBN 3879750564 Sprache: Deutsch Gewicht in Gramm: 550.

320 S. 8°, OKart. Einband leicht berieben, guter Zustand. 500 gr.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Zustand: New. Post-proceedings of the Second International Workshop on Modeling and Retrieval of Context, MRC 2005, held in Edinburgh, UKPresents 9 revised full papers presented include extended versions of some of the papers presented at the MRC 2005 workshop.

Zustand: New. In.

Paperback. Zustand: Brand New. 1st edition. 517 pages. 9.13x6.06x1.18 inches. In Stock.