Overview

Full Product Details

Author:   Gerhard Jäger ,  Hans Läuchli ,  Bruno Scarpellini ,  Volker Strassen
Publisher:   Birkhauser Verlag AG
Imprint:   Birkhauser Verlag AG
Edition:   Softcover reprint of the original 1st ed. 1990
Dimensions:   Width: 15.50cm , Height: 2.20cm , Length: 23.50cm
Weight:   0.658kg
ISBN:  

9783034899666

ISBN 10:   3034899661
Pages:   397
Publication Date:   18 September 2011
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Selecta.- Die erste Cohomologiegruppe von Überlagerungen und Homotopieeigenschaften dreidimensionaler Mannigfaltigkeiten (1949).- Nicht konstruktiv beweisbare Sätze der Analysis (1949).- Sur un problème de Sikorski (1949).- Enden verbände von Räumen und Gruppen (1950).- Additive Gruppen von Folgen ganzer Zahlen (1950).- The axiom of choice in Quine’s new foundations for mathematical logic (1953).- Die Antinomien der Mengenlehre (1954).- Verallgemeinerte Kontinuumshypothese und Auswahlaxiom (1954).- Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom) (1957).- Teilmengen von Mengen mit Relationen (1957).- Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie (1957).- Der Satz vom Maximum in der rekursiven Analysis (1957).- Dualität (1958).- Die Logik nicht gleichzeitig entscheidbarer Aussagen (1960).- Modelle der Arithmetik (1961).- On a theorem in the theory of relations and a solution of a problem of Knaster (1961).- Typical ambiguity (1962).- Isomorphism types of trees (1964).- Logical structures arising in quantum theory (1965).- The calculus of partial propositional functions (1965).- The problem of hidden variables in quantum mechanics (1967).- The fundamental theorem of algebra in recursive analysis (1967).- Lengths of formulas and elimination of quantifiers I (1968).- Die Entwicklung der axiomatischen Mengenlehre (1978).- Algorithmische Kombinatorik mit Kleinrechnern (1978).- Complexity of partial satisfaction (1979).- Wie in einem Spiegel (1985).- Application of logic and combinatorics to enumeration problems (1988).- Postmoderne Mathematik: Abschied vom Paradies? (1988).- Die Logik oder die Kunst des Programmierens (1989).- Comments.- Acknowledgements.- Authors of comments.

Reviews

From the Reviews: This is a good selection from the works of Ernst Specker who 'made decisive contributions towards shaping directions in topology, algebra, mathematical logic, combinatorics and algorithmic over the last 40 years'. The following are a few points which go to the credit of this publication... the selection of 30 out of the total 42 publications of Specker is done in the best possible way ... the comments in English on each of these papers written by one of the four editors helps the reader to get a clear idea about the content .. the complete bibliography and the list of Ph. D. theses written under the supervision of Specker are given. 'The Story of a Friend' written by Jonas Meon on Specker gives an idea about the man and his life-sketch. (T. Thrivikraman, Zentralblatt MATH Database 1931 - 2006)

From the Reviews: This is a good selection from the works of Ernst Specker who `made decisive contributions towards shaping directions in topology, algebra, mathematical logic, combinatorics and algorithmic over the last 40 years'. The following are a few points which go to the credit of this publication... the selection of 30 out of the total 42 publications of Specker is done in the best possible way ... the comments in English on each of these papers written by one of the four editors helps the reader to get a clear idea about the content .. the complete bibliography and the list of Ph. D. theses written under the supervision of Specker are given.. `The Story of a Friend' written by Jonas Meon on Specker gives an idea about the man and his life-sketch. (T. Thrivikraman, Zentralblatt MATH Database 1931 - 2006)

From the Reviews: This is a good selection from the works of Ernst Specker who 'made decisive contributions towards shaping directions in topology, algebra, mathematical logic, combinatorics and algorithmic over the last 40 years'. The following are a few points which go to the credit of this publication... the selection of 30 out of the total 42 publications of Specker is done in the best possible way ... the comments in English on each of these papers written by one of the four editors helps the reader to get a clear idea about the content .. the complete bibliography and the list of Ph. D. theses written under the supervision of Specker are given.. 'The Story of a Friend' written by Jonas Meon on Specker gives an idea about the man and his life-sketch. (T. Thrivikraman, Zentralblatt MATH Database 1931 - 2006)

From the Reviews: This is a good selection from the works of Ernst Specker who `made decisive contributions towards shaping directions in topology, algebra, mathematical logic, combinatorics and algorithmic over the last 40 years'. The following are a few points which go to the credit of this publication... the selection of 30 out of the total 42 publications of Specker is done in the best possible way ... the comments in English on each of these papers written by one of the four editors helps the reader to get a clear idea about the content .. the complete bibliography and the list of Ph. D. theses written under the supervision of Specker are given.. `The Story of a Friend' written by Jonas Meon on Specker gives an idea about the man and his life-sketch. (T. Thrivikraman, Zentralblatt MATH Database 1931 - 2006)

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions