1 - Proceedings of the third scandinavian logic symposium held at the University of Uppsala, Uppsala, April 9--11, 1973. |
2 - Provability in logic |
1 - Proceedings of the third scandinavian logic symposium held at the University of Uppsala, Uppsala, April 9--11, 1973. |
2 - Provability in logic |