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 ...

Finite model theory has its origin in classical model theory, but owes its systematic development...

Aus den Besprechungen: 'Ein Mathematikbuch der Superlativen, für Mathematiker (jeder Schat...

Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem ...

Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Bew...