Metamathematics

When Beth later, in 1955, presented his well-known tableau calculus, he seems to have forgotten the origin of the tableau calculus as a reformulation of the one of Ketonen, but refers instead to Kleene's influential Introduction to Metamathematics of

Chores 2009

Metamathematics, Oxford: Clarendon Press: 152-278.

Feminist Philosophy of Language Saul, Jennifer 2007

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, and representations of rules, information, and computation.

Archive 2006-03-01 Bill Kerr 2006

Metamathematics, second edition, ed. by J. Corcoran.

Logical Truth Gómez-Torrente, Mario 2006

Metamathematics, second edition, ed. by J. Corcoran.

Logical Truth Gómez-Torrente, Mario 2006

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, and representations of rules, information, and computation.

learning maths Bill Kerr 2006

Hájek, P. (1998): Metamathematics of Fuzzy Logic.

Many-Valued Logic Gottwald, Siegfried 2004

“Metamathematics,” which takes as its object of study the language of mathematics already symbolized and formalized, and in abstraction from its meaning pro - ceeds entirely on its own in a mathematical manner to create rigorous proofs.

AXIOMATIZATION ROBERT BLANCH 1968

Kleene, S. Introduction to Metamathematics, North-Holland

Chores 2009

Mal'cev, Anatoli Ivanovic, 1971, The Metamathematics of Algebraic Systems.

Kurt Gödel Kennedy, Juliette 2007