|
|
|
The branch of Logic dealing with the study of the combination and application of mathematical symbols, sometimes called Metalogic. Metamathematics is the study of Mathematics itself, and one of its primary goals is to determine the nature of mathematical reasoning (Hofstadter 1989).
See also Logic, Mathematics
References
Birkhoff, G. and Mac Lane, S. A Survey of Modern Algebra, 3rd ed. New York: Macmillan, p. 326, 1965.
Hofstadter, D. R. Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books, p. 23, 1989.