che-chandler.de

Finite Model Theory

Finite model theory, the model theory of finite structures, has roots in clas- sical model theory...

Ernst Zermelo - Collected Works/Gesammelte Werke II

Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known fo...

Ernst Zermelo

Ernst Zermelo (1871-1953) is best-known for the statement of the axiom of choice and his axiom...

Ernst Zermelo - Collected Works/Gesammelte Werke

Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known fo...

Ernst Zermelo

This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-...

Numbers

A book about numbers sounds rather dull. This one is not. Instead it is a lively story about one ...

Zahlen

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

Finite Model Theory

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

O-Bibliography of Mathematical Logic

Zahlen

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

Recursion Theory Week

Einführung in die mathematische Logik

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