Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlag...
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Bew...
Finite model theory, the model theory of finite structures, has roots in clas- sical model theory...
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known fo...
Ernst Zermelo (1871-1953) is best-known for the statement of the axiom of choice and his axiom...
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known fo...
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-...
A book about numbers sounds rather dull. This one is not. Instead it is a lively story about one ...
Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem ...
Aus den Besprechungen: 'Ein Mathematikbuch der Superlativen, für Mathematiker (jeder Schat...
Finite model theory has its origin in classical model theory, but owes its systematic development...