Metamathematics
Resource Information
The concept Metamathematics represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Metamathematics
Resource Information
The concept Metamathematics represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Metamathematics
22 Items that share the Concept Metamathematics
Context
Context of MetamathematicsSubject of
No resources found
No enriched resources found
- Unvollständigkeit und Unentscheidbarkeit ; : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
- A relational theory of computing
- A relational theory of computing
- Elementary logic of science and mathematics
- Gödel's proof
- Gödel, Escher, Bach : an eternal golden braid
- Introduction to metamathematics
- Introduction to metamathematics
- Introduction to model theory and to the metamathematics of algebra
- Lecture notes in mathematical logic
- Les limitations internes des formalismes ; : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
- Metamagical themas : questing for the essence of mind and pattern
- Natural deduction : the logical basis of axiom systems
- Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
- The collected papers of Gerhard Gentzen
- The mathematics of metamathematics
- The metamathematics of algebraic systems, collected papers: 1936-1967
- Theory of formal systems
- Theory of recursive functions and effective computability
- Thinking about Gödel and Turing : essays on complexity, 1970-2007
- Théorie métamathématique des idéaux
- Unvollständigkeit und Unentscheidbarkeit
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/NQSD9z4gv-Y/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/NQSD9z4gv-Y/">Metamathematics</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Metamathematics
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/NQSD9z4gv-Y/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/NQSD9z4gv-Y/">Metamathematics</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
