Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers…
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers…
Collected Works
by Ebbinghaus, Heinz-Dieter, Zermelo, Ernst
fromHeidelberger Akademie der Wissenschaften
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers…
Mathematical Logic
by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang
fromUndergraduate texts in mathematics
"What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains…
Mathematical logic
by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang
fromUndergraduate texts in mathematics
Mathematical logic
by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang
fromUndergraduate texts in mathematics
Mathematical logic
by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang
fromUndergraduate texts in mathematics
Mathematical logic
by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang
fromUndergraduate texts in mathematics
Mathematical logic
by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang
fromUndergraduate texts in mathematics
Mathematical logic
by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang
fromUndergraduate texts in mathematics