Bibliotecas de la Universidad de Concepción

    Browse
    Branches
    Collections
    Statistics
    About
    Vocabulary
    Support
    Library.Link

    Structured data licensed under CC BY 4.0 by Bibliotecas de la Universidad de Concepción. Additional terms may apply for third-party namespace data.

    Metamatemáticas

    Type
    • http://bibfra.me/vocab/lite/Concept
    Focus
    1
    • Metamatemáticas
    Label
    Metamatemáticas
    Name

    Actions

    Metamatemáticas

    Incoming Resources

    • Subject of
      6
    Introduction to model theory and to the metamathematics of algebra, Abraham Robinson
  • Introduction to metamathematics, Stephen Cole Kleene
  • Theory of formal systems, R. M. Smullyan
  • Gödel, Escher, Bach, an eternal golden braid, Douglas R. Hofstadter
  • Introducción a la lógica simbólica, Gerold Stahl
  • Metamathematics, Foundations & Physicalization, Stephen Wolfram