metamathematics

Noun

Meaning

the logical analysis of mathematical reasoning

Hypernyms

Examples

Logic, Semantics, Metamathematics: Papers from 1923 to 1938 by Alfred Tarski, Corcoran, J., ed. Hackett. 1st edition edited and translated by J. H. Woodger, Oxford Uni. Source: Internet

ISBN 0-387-15299-7 * Stephen Kleene (1952) Introduction to Metamathematics, North-Holland Publishing Company, New York, 11th reprint 1971: (2nd edition notes added on 6th reprint). Source: Internet

Close letter words and terms