Ian A. Mason. The Metatheory of the Classical Propositional Calculus is not Axiomatizable. Journal of Symbolic Logic, 50(2):451-457, 1985.
@article{Mason85,
title = {The Metatheory of the Classical Propositional Calculus is not Axiomatizable},
author = {Ian A. Mason},
year = {1985},
tags = {metatheory},
researchr = {https://researchr.org/publication/Mason85},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {50},
number = {2},
pages = {451-457},
}