Search results

• Magari algebra
  ...]</TD> <TD valign="top"> H. Rasiowa, R. Sikorski, "The mathematics of metamathematics" , PWN (1970) (Edition: Third)</TD></TR><TR><TD valign="top">[a13]</TD> <
  13 KB (1,762 words) - 11:49, 12 January 2021
• Semantics
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign=
  5 KB (771 words) - 16:59, 7 February 2011
• Algorithms, combinations of
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  6 KB (805 words) - 17:59, 1 April 2020
• Boyer-Moore theorem prover
  ...</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> N. Shankar, "Metamathematics: Machines, and Goedel's proof" , Cambridge Univ. Press (1994)</TD></TR><TR
  5 KB (832 words) - 18:51, 24 March 2012
• Translation of programs
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  6 KB (919 words) - 08:26, 6 June 2020
• Algebraic systems, quasi-variety of
  ...="top">[a4]</TD> <TD valign="top"> A.I. [A.I. Mal'tsev] Mal'cev, , ''The metamathematics of algebraic systems. Collected papers: 1936 - 1967'' , North-Holland (197
  6 KB (881 words) - 16:10, 1 April 2020
• Recursion
  ...D valign="top">[4]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign=
  13 KB (2,044 words) - 08:10, 6 June 2020
• Completeness (in logic)
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign=
  7 KB (1,096 words) - 15:00, 14 February 2020
• Interpretation
  ...]</TD> <TD valign="top"> E. Rasiowa, R. Sikorski, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR><TR><TD valign="top">[2]</TD> <TD val
  7 KB (1,091 words) - 18:50, 14 August 2014
• Constructive selection principle
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign=
  7 KB (1,033 words) - 17:48, 1 November 2014
• Algebraic systems, class of
  ...="top">[a2]</TD> <TD valign="top"> A.I. [A.I. Mal'tsev] Mal'cev, , ''The metamathematics of algebraic systems. Collected papers: 1936 - 1967'' , North-Holland (197
  8 KB (1,165 words) - 16:10, 1 April 2020
• Mathematical logic
  ...becomes an object of study in a mathematical science which Hilbert called metamathematics, or [[Proof theory|proof theory]]. ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  23 KB (3,461 words) - 16:05, 13 January 2021
• Gentzen formal system
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign=
  10 KB (1,428 words) - 19:41, 5 June 2020
• Duality principle
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  10 KB (1,506 words) - 19:36, 5 June 2020
• Horn clauses, theory of
  <TR><TD valign="top">[a1]</TD> <TD valign="top"> A.I. Mal'tsev, "The metamathematics of algebraic systems. Collected Papers 1936-1967" , North-Holland (1971)</
  7 KB (1,111 words) - 06:59, 21 October 2016
• Computable function
  ...D valign="top">[4]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign=
  18 KB (2,635 words) - 19:56, 5 September 2017
• Predicate calculus
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  9 KB (1,370 words) - 18:05, 22 September 2014
• Pseudo-Boolean algebra
  ...]</TD> <TD valign="top"> E. Rasiowa, R. Sikorski, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR><TR><TD valign="top">[4]</TD> <TD val
  10 KB (1,402 words) - 08:08, 6 June 2020
• Heyting formal system
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  9 KB (1,350 words) - 22:10, 5 June 2020
• Topological algebra
  |valign="top"|{{Ref|Ma}}||valign="top"| A.I. [A.I. Mal'tsev] Mal'cev, "The metamathematics of algebraic systems, Collected papers 1936–1967", North-Holland (1971)
  9 KB (1,142 words) - 17:15, 15 November 2023

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)