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.

    Theory of formal systems, R. M. Smullyan

    Type
    • http://bibfra.me/vocab/lite/Work
    • http://bibfra.me/vocab/marc/Books
    • http://bibfra.me/vocab/marc/LanguageMaterial
    Classification
    1
    • 512.8
    Creator
    1
    • Smullyan, Raymond M
    Subject
    2
    • Funciones recursivas
    Content
    1
    • text
    autor
    1
    • Smullyan, Raymond M
    Label
    Theory of formal systems, R. M. Smullyan
    Language
    eng
    Illustrations
    illustrations
    Index
    no index present
    Literary form
    non fiction
    Main title
    Theory of formal systems
    Responsibility statement
    R. M. Smullyan
    Series statement
    Annals of mathematics studies, no. 47

    Incoming Resources

    • Has instance
      1
      • Theory of formal systems, R. M. Smullyan

    Metamatemáticas