The Work

Second-order Logic Still Wild!

The details

The Author

The offers