By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy
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.
Back to List | POWERED BY THE WOLFRAM LANGUAGE