Provability logic Summary

Provability Logic Even though "provability logic" did not come into its own until the early seventies, it has its roots in two older fields: metamathematics and modal logic. In metamathe... Read more