By submitting the following form, you agree to Club Z!'s Terms of Use, Privacy Policy and Consent Disclaimer
metalogic
Metamathematics is another word for proof theory. The branch of logic dealing with the study of the combination and application of mathematical symbols is also sometimes called metamathematics or metalogic.
proof theory
Back to List | POWERED BY THE WOLFRAM LANGUAGE
