The Work

A formula with no recursively enumerable model

The details

The Author

Andrzej Mostowski

The offers