Explore: Metamathematics

Discover books, insights, and more — all in one place.

Learn more about Metamathematics with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “metamathematics”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Gödel's proof

By

Book's cover

“Gödel's proof” Metadata:

  • Title: Gödel's proof
  • Authors:
  • Languages: ➤  chi - Spanish; Castilian - español, castellano - English
  • Number of Pages: Median: 118
  • Publisher: ➤  Routledge & Kegan Paul - de Gruyter GmbH, Walter - Routledge - Taylor & Francis Group - Routledge & K.Paul - lulu.com - Tecnos - Seuil - Nagel, Ernest/ Newman, James R./ Hofstadter, Douglas R./ Hofstadter, Douglas R. (EDT) - Lulu.com - Oldenbourg - New York University Press - University Press - Routledge & K. Paul - NYU Press - Zhongguo ren min da xue chu ban she - Independently Published - Routledge and Kegan Paul - Alfa Yayinlari - Tecnos Editorial S a - Centro de Estudios Filosóficos, Universidad Nacional Autónoma de México
  • Publish Date: ➤  
  • Publish Location: ➤  Madrid - New York - Beijing - [New York] - London - Munchen - México - New York, USA

“Gödel's proof” Subjects and Themes:

Edition Identifiers:

First Setence:

"In 1931 there appeared in a German scientific periodical a relative short paper with the forbidding title “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme” (“On Formally Undecidable Propositions of Principia Mathematica and Related Systems”)."

Access and General Info:

  • First Year Published: 1958
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Gödel's proof at online marketplaces:


2Logic, semantics, metamathematics

By

Book's cover

“Logic, semantics, metamathematics” Metadata:

  • Title: ➤  Logic, semantics, metamathematics
  • Author:
  • Language: English
  • Number of Pages: Median: 471
  • Publisher: ➤  Hackett Pub. Co. - Hackett Publishing Company - Clarendon Press
  • Publish Date:
  • Publish Location: ➤  Indianapolis, Ind - Oxford - Oxford, Clarendon Press

“Logic, semantics, metamathematics” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1956
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Logic, semantics, metamathematics at online marketplaces:


3Foundations of mathematics

By

Book's cover

“Foundations of mathematics” Metadata:

  • Title: Foundations of mathematics
  • Author:
  • Language: English
  • Number of Pages: Median: 100
  • Publisher: ➤  Island Press - Springer-Verlag - Springer Berlin / Heidelberg - Springer London, Limited
  • Publish Date:
  • Publish Location: Berlin - New York

“Foundations of mathematics” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1993
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Foundations of mathematics at online marketplaces:


4Natural deduction

By

Book's cover

“Natural deduction” Metadata:

  • Title: Natural deduction
  • Author:
  • Language: English
  • Number of Pages: Median: 418
  • Publisher: ➤  Creative Media Partners, LLC - Wadsworth Pub. Co.
  • Publish Date:
  • Publish Location: Belmont, Calif

“Natural deduction” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1962
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Natural deduction at online marketplaces:


5Theory of recursive functions and effective computability

By

Book's cover

“Theory of recursive functions and effective computability” Metadata:

  • Title: ➤  Theory of recursive functions and effective computability
  • Author:
  • Language: English
  • Number of Pages: Median: 482
  • Publisher: McGraw-Hill - MIT Press
  • Publish Date:
  • Publish Location: ➤  Cambridge, Mass - [Cambridge? Mass.] - New York

“Theory of recursive functions and effective computability” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1957
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Theory of recursive functions and effective computability at online marketplaces:


6Elementary logic of science and mathematics

By

Book's cover

“Elementary logic of science and mathematics” Metadata:

  • Title: ➤  Elementary logic of science and mathematics
  • Author:
  • Language: English
  • Number of Pages: Median: 371
  • Publisher: ➤  Free Press - University Tutorial Press
  • Publish Date:
  • Publish Location: Glencoe, Ill - London

“Elementary logic of science and mathematics” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1960
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Elementary logic of science and mathematics at online marketplaces:


7Introductory formal logic of mathematics

By

Book's cover

“Introductory formal logic of mathematics” Metadata:

  • Title: ➤  Introductory formal logic of mathematics
  • Author:
  • Language: English
  • Number of Pages: Median: 188
  • Publisher: Free Press
  • Publish Date:
  • Publish Location: Glencoe - Glencoe, Ill

“Introductory formal logic of mathematics” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1957
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Introductory formal logic of mathematics at online marketplaces:


8Gödel, Escher, Bach

An Eternal Golden Braid

By

Book's cover

“Gödel, Escher, Bach” Metadata:

  • Title: Gödel, Escher, Bach
  • Author:
  • Languages: ➤  Spanish; Castilian - español, castellano - und - English
  • Number of Pages: Median: 777
  • Publisher: ➤  Dunod - Tusquets - Harvester Press - Basic Books - Klett-Cotta - Olympus - Vintage - Vintage Books - Pinhan Yayincilik - Tusquets Editores S.A. - Contact - InterEditions - Dtv - Kabalci Yayinevi - Adelphi - Penguin Books Ltd - Penguin - Penguin Books
  • Publish Date: ➤  
  • Publish Location: ➤  New York - Munich - Stuttgart, Germany - Harmondsworth - Hassocks, Sussex - Amsterdam, the Netherlands - New York, NY - London - New York, USA

“Gödel, Escher, Bach” Subjects and Themes:

Edition Identifiers:

First Setence:

"FREDERICK THE GREAT, King of Prussia, came to power in 1740."

Access and General Info:

  • First Year Published: 1979
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Printdisabled

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Gödel, Escher, Bach at online marketplaces:


    9Metamagical Themas

    Questing for the Essence of Mind and Pattern

    By

    Book's cover

    “Metamagical Themas” Metadata:

    • Title: Metamagical Themas
    • Author:
    • Languages: English - dut
    • Number of Pages: Median: 852
    • Publisher: ➤  Penguin Putnam~trade - Basic Books - Penguin Books India - Contact - Dtv - Penguin - Viking - Bantam
    • Publish Date: ➤  
    • Publish Location: ➤  London - Amsterdam, The Netherlands - Harmondsworth - New York

    “Metamagical Themas” Subjects and Themes:

    Edition Identifiers:

    First Setence:

    "I never expected to be writing a column for Scientific American."

    Access and General Info:

    • First Year Published: 1985
    • Is Full Text Available: Yes
    • Is The Book Public: No
    • Access Status: Printdisabled

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find Metamagical Themas at online marketplaces:


      10How to Bake Pi

      By

      Book's cover

      “How to Bake Pi” Metadata:

      • Title: How to Bake Pi
      • Author:
      • Languages: fre - English
      • Number of Pages: Median: 288
      • Publisher: ➤  Profile Books Limited - HighBridge Audio - Highbridge Audio and Blackstone Publishing - FLAMMARION - Basic Books
      • Publish Date:
      • Publish Location: New York City, New York, USA

      “How to Bake Pi” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 2015
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Access

      Downloads Are Not Available:

      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

      Online Borrowing:

        Online Marketplaces

        Find How to Bake Pi at online marketplaces:


        11Theory of Formal Systems

        By

        Book's cover

        “Theory of Formal Systems” Metadata:

        • Title: Theory of Formal Systems
        • Author:
        • Language: English
        • Number of Pages: Median: 152
        • Publisher: Princeton University Press
        • Publish Date:
        • Publish Location: Princeton, N.J

        “Theory of Formal Systems” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1961
        • Is Full Text Available: Yes
        • Is The Book Public: No
        • Access Status: Printdisabled

        Online Access

        Downloads Are Not Available:

        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

        Online Borrowing:

          Online Marketplaces

          Find Theory of Formal Systems at online marketplaces:


          12Introduction to metamathematics

          By

          Book's cover

          “Introduction to metamathematics” Metadata:

          • Title: ➤  Introduction to metamathematics
          • Author:
          • Language: English
          • Number of Pages: Median: 550
          • Publisher: ➤  North-Holland Pub. Co. - American Elsevier Pub. Co. - Van Nostrand - North-Holland - Wolters-Noordhoff - North Holland - P. Noordhoff N.V.
          • Publish Date:
          • Publish Location: ➤  New York, NY - Princeton, N. J - Groningen - Amsterdam - Princeton - Princeton, N.J

          “Introduction to metamathematics” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1952
          • Is Full Text Available: Yes
          • Is The Book Public: No
          • Access Status: Printdisabled

          Online Access

          Downloads Are Not Available:

          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

          Online Borrowing:

            Online Marketplaces

            Find Introduction to metamathematics at online marketplaces:


            13Metamathematics of first-order arithmetic

            By

            Book's cover

            “Metamathematics of first-order arithmetic” Metadata:

            • Title: ➤  Metamathematics of first-order arithmetic
            • Author:
            • Language: English
            • Number of Pages: Median: 467
            • Publisher: ➤  Springer - Cambridge University Press
            • Publish Date:

            “Metamathematics of first-order arithmetic” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1993
            • Is Full Text Available: No
            • Is The Book Public: No
            • Access Status: No_ebook

            Online Access

            Downloads Are Not Available:

            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

            Online Borrowing:

              Online Marketplaces

              Find Metamathematics of first-order arithmetic at online marketplaces:


              14The Mathematics of Logic

              By

              Book's cover

              “The Mathematics of Logic” Metadata:

              • Title: The Mathematics of Logic
              • Author:
              • Language: English
              • Number of Pages: Median: 211
              • Publisher: Cambridge University Press
              • Publish Date:

              “The Mathematics of Logic” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 2007
              • Is Full Text Available: No
              • Is The Book Public: No
              • Access Status: Unclassified

              Online Access

              Downloads Are Not Available:

              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

              Online Borrowing:

                Online Marketplaces

                Find The Mathematics of Logic at online marketplaces:


                15Introduction to metamathematics

                By

                Book's cover

                “Introduction to metamathematics” Metadata:

                • Title: ➤  Introduction to metamathematics
                • Author:
                • Language: English
                • Number of Pages: Median: 550
                • Publisher: ➤  Ishi Press - Van Nostrand - Brand: Ishi Press - Ishi Press International
                • Publish Date:
                • Publish Location: New York

                “Introduction to metamathematics” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1952
                • Is Full Text Available: No
                • Is The Book Public: No
                • Access Status: No_ebook

                Online Marketplaces

                Find Introduction to metamathematics at online marketplaces:


                16Metamathematics and the Philosophical Tradition

                By

                Book's cover

                “Metamathematics and the Philosophical Tradition” Metadata:

                • Title: ➤  Metamathematics and the Philosophical Tradition
                • Author:
                • Language: English
                • Number of Pages: Median: 492
                • Publisher: ➤  de Gruyter GmbH, Walter - de Gruyter
                • Publish Date:

                “Metamathematics and the Philosophical Tradition” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 2018
                • Is Full Text Available: No
                • Is The Book Public: No
                • Access Status: No_ebook

                Online Access

                Downloads Are Not Available:

                The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                Online Borrowing:

                  Online Marketplaces

                  Find Metamathematics and the Philosophical Tradition at online marketplaces:


                  17The mathematics of metamathematics

                  By

                  “The mathematics of metamathematics” Metadata:

                  • Title: ➤  The mathematics of metamathematics
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 519
                  • Publisher: ➤  [Państwowe Wydawn Naukowe] - [Panstwowe Wydawnictwo Naukowe] - Państwowe Wydawn. Naukowe
                  • Publish Date:
                  • Publish Location: Warszawa

                  “The mathematics of metamathematics” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

                  • First Year Published: 1963
                  • Is Full Text Available: No
                  • Is The Book Public: No
                  • Access Status: No_ebook

                  Online Marketplaces

                  Find The mathematics of metamathematics at online marketplaces:


                  18Unvollständigkeit und Unentscheidbarkeit

                  By

                  Book's cover

                  “Unvollständigkeit und Unentscheidbarkeit” Metadata:

                  • Title: ➤  Unvollständigkeit und Unentscheidbarkeit
                  • Author:
                  • Language: ger
                  • Number of Pages: Median: 114
                  • Publisher: Springer - Springer-Verlag
                  • Publish Date:
                  • Publish Location: Wien

                  “Unvollständigkeit und Unentscheidbarkeit” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

                  • First Year Published: 1959
                  • Is Full Text Available: No
                  • Is The Book Public: No
                  • Access Status: No_ebook

                  Online Marketplaces

                  Find Unvollständigkeit und Unentscheidbarkeit at online marketplaces:


                  19Introduction to model theory and to the metamathematics of algebra

                  By

                  “Introduction to model theory and to the metamathematics of algebra” Metadata:

                  • Title: ➤  Introduction to model theory and to the metamathematics of algebra
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 284
                  • Publisher: ➤  American Elsevier Pub. Co. - Sole distributors for the U.S. and Canada Elsevier - North-Holland Pub. Co.
                  • Publish Date:
                  • Publish Location: ➤  New York - Amsterdam - North Holland

                  “Introduction to model theory and to the metamathematics of algebra” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

                  • First Year Published: 1963
                  • Is Full Text Available: No
                  • Is The Book Public: No
                  • Access Status: No_ebook

                  Online Marketplaces

                  Find Introduction to model theory and to the metamathematics of algebra at online marketplaces:


                  20Mechanism, Mentalism and Metamathematics

                  By

                  Book's cover

                  “Mechanism, Mentalism and Metamathematics” Metadata:

                  • Title: ➤  Mechanism, Mentalism and Metamathematics
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 300
                  • Publisher: ➤  Springer London, Limited - Springer - Webb J
                  • Publish Date:

                  “Mechanism, Mentalism and Metamathematics” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

                  • First Year Published: 2010
                  • Is Full Text Available: No
                  • Is The Book Public: No
                  • Access Status: No_ebook

                  Online Access

                  Downloads Are Not Available:

                  The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                  Online Borrowing:

                    Online Marketplaces

                    Find Mechanism, Mentalism and Metamathematics at online marketplaces:


                    21Unvollständigkeit und Unentscheidbarkeit

                    By

                    “Unvollständigkeit und Unentscheidbarkeit” Metadata:

                    • Title: ➤  Unvollständigkeit und Unentscheidbarkeit
                    • Author:
                    • Language: ger
                    • Number of Pages: Median: 114
                    • Publisher: ➤  Springer - Springer London, Limited
                    • Publish Date:
                    • Publish Location: Wien

                    “Unvollständigkeit und Unentscheidbarkeit” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

                    • First Year Published: 1959
                    • Is Full Text Available: No
                    • Is The Book Public: No
                    • Access Status: No_ebook

                    Online Marketplaces

                    Find Unvollständigkeit und Unentscheidbarkeit at online marketplaces:


                    22Métamathématique

                    By

                    “Métamathématique” Metadata:

                    • Title: Métamathématique
                    • Author:
                    • Language: fre
                    • Number of Pages: Median: 167
                    • Publisher: Mouton
                    • Publish Date:
                    • Publish Location: Paris

                    “Métamathématique” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

                    • First Year Published: 1967
                    • Is Full Text Available: No
                    • Is The Book Public: No
                    • Access Status: No_ebook

                    Online Marketplaces

                    Find Métamathématique at online marketplaces:


                    23Metamathematik der Elementarmathematik

                    By

                    Book's cover

                    “Metamathematik der Elementarmathematik” Metadata:

                    • Title: ➤  Metamathematik der Elementarmathematik
                    • Author:
                    • Language: ger
                    • Number of Pages: Median: 137
                    • Publisher: ➤  Springer-Verlag - Springer Berlin Heidelberg - Springer
                    • Publish Date:
                    • Publish Location: Berlin - New York

                    “Metamathematik der Elementarmathematik” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

                    • First Year Published: 1983
                    • Is Full Text Available: No
                    • Is The Book Public: No
                    • Access Status: No_ebook

                    Online Access

                    Downloads Are Not Available:

                    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                    Online Borrowing:

                      Online Marketplaces

                      Find Metamathematik der Elementarmathematik at online marketplaces:


                      24Métaphysique mathématique

                      By

                      “Métaphysique mathématique” Metadata:

                      • Title: Métaphysique mathématique
                      • Author:
                      • Language: fre
                      • Number of Pages: Median: 147
                      • Publisher: Vve Ch. Dunod
                      • Publish Date:
                      • Publish Location: Paris

                      “Métaphysique mathématique” Subjects and Themes:

                      Edition Identifiers:

                      Access and General Info:

                      • First Year Published: 1898
                      • Is Full Text Available: No
                      • Is The Book Public: No
                      • Access Status: No_ebook

                      Online Access

                      Downloads Are Not Available:

                      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                      Online Borrowing:

                        Online Marketplaces

                        Find Métaphysique mathématique at online marketplaces:


                        25Unvollständigkeit und Unentscheidbarkeit

                        By

                        “Unvollständigkeit und Unentscheidbarkeit” Metadata:

                        • Title: ➤  Unvollständigkeit und Unentscheidbarkeit
                        • Author:
                        • Language: ger
                        • Number of Pages: Median: 114
                        • Publisher: Springer
                        • Publish Date:
                        • Publish Location: Wien - New York

                        “Unvollständigkeit und Unentscheidbarkeit” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1959
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Unvollständigkeit und Unentscheidbarkeit at online marketplaces:


                        26Metamathematische Methoden in der Geometrie

                        By

                        “Metamathematische Methoden in der Geometrie” Metadata:

                        • Title: ➤  Metamathematische Methoden in der Geometrie
                        • Author:
                        • Language: ger
                        • Number of Pages: Median: 482
                        • Publisher: Springer-Verlag
                        • Publish Date:
                        • Publish Location: Berlin - New York

                        “Metamathematische Methoden in der Geometrie” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1983
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Marketplaces

                        Find Metamathematische Methoden in der Geometrie at online marketplaces:


                        27Undecidable theories

                        By

                        Book's cover

                        “Undecidable theories” Metadata:

                        • Title: Undecidable theories
                        • Author:
                        • Language: English
                        • Publisher: Dover Publications
                        • Publish Date:
                        • Publish Location: Mineola, N.Y

                        “Undecidable theories” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 2010
                        • Is Full Text Available: Yes
                        • Is The Book Public: No
                        • Access Status: Printdisabled

                        Online Access

                        Downloads Are Not Available:

                        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                        Online Borrowing:

                          Online Marketplaces

                          Find Undecidable theories at online marketplaces:


                          28Lecture notes in mathematical logic

                          By

                          “Lecture notes in mathematical logic” Metadata:

                          • Title: ➤  Lecture notes in mathematical logic
                          • Author:
                          • Language: English
                          • Publisher: ➤  Department of Mathematics, Pennsylvania State University
                          • Publish Date:
                          • Publish Location: University Park, Pa

                          “Lecture notes in mathematical logic” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

                          • First Year Published: 1962
                          • Is Full Text Available: No
                          • Is The Book Public: No
                          • Access Status: No_ebook

                          Online Marketplaces

                          Find Lecture notes in mathematical logic at online marketplaces:


                          29Undecidable theories

                          By

                          “Undecidable theories” Metadata:

                          • Title: Undecidable theories
                          • Author:
                          • Language: English
                          • Number of Pages: Median: 100
                          • Publisher: North-Holland Pub. Co.
                          • Publish Date:
                          • Publish Location: Amsterdam

                          “Undecidable theories” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

                          • First Year Published: 1953
                          • Is Full Text Available: No
                          • Is The Book Public: No
                          • Access Status: No_ebook

                          Online Marketplaces

                          Find Undecidable theories at online marketplaces:


                          30Théorie métamathématique des idéaux

                          By

                          “Théorie métamathématique des idéaux” Metadata:

                          • Title: ➤  Théorie métamathématique des idéaux
                          • Author:
                          • Language: fre
                          • Number of Pages: Median: 186
                          • Publisher: Gauthier-Villars
                          • Publish Date:
                          • Publish Location: Paris

                          “Théorie métamathématique des idéaux” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

                          • First Year Published: 1955
                          • Is Full Text Available: No
                          • Is The Book Public: No
                          • Access Status: No_ebook

                          Online Marketplaces

                          Find Théorie métamathématique des idéaux at online marketplaces:


                          31The collected papers of Gerhard Gentzen

                          By

                          Book's cover

                          “The collected papers of Gerhard Gentzen” Metadata:

                          • Title: ➤  The collected papers of Gerhard Gentzen
                          • Author:
                          • Language: English
                          • Number of Pages: Median: 338
                          • Publisher: North-Holland Pub. Co.
                          • Publish Date:
                          • Publish Location: Amsterdam

                          “The collected papers of Gerhard Gentzen” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

                          • First Year Published: 1969
                          • Is Full Text Available: No
                          • Is The Book Public: No
                          • Access Status: Unclassified

                          Online Access

                          Downloads Are Not Available:

                          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                          Online Borrowing:

                            Online Marketplaces

                            Find The collected papers of Gerhard Gentzen at online marketplaces:


                            32Mathematics of Logic

                            By

                            “Mathematics of Logic” Metadata:

                            • Title: Mathematics of Logic
                            • Author:
                            • Language: English
                            • Number of Pages: Median: 204
                            • Publisher: Cambridge University Press
                            • Publish Date:

                            “Mathematics of Logic” Subjects and Themes:

                            Edition Identifiers:

                            Access and General Info:

                            • First Year Published: 2007
                            • Is Full Text Available: No
                            • Is The Book Public: No
                            • Access Status: No_ebook

                            Online Marketplaces

                            Find Mathematics of Logic at online marketplaces:


                            33The mathematics of metamathematics [by] Helena Rasiowa and Roman Sikorski

                            By

                            “The mathematics of metamathematics [by] Helena Rasiowa and Roman Sikorski” Metadata:

                            • Title: ➤  The mathematics of metamathematics [by] Helena Rasiowa and Roman Sikorski
                            • Author:
                            • Language: English
                            • Number of Pages: Median: 519
                            • Publisher: [Państwowe Wydawn. Naukowe]
                            • Publish Date:
                            • Publish Location: Warszawa

                            “The mathematics of metamathematics [by] Helena Rasiowa and Roman Sikorski” Subjects and Themes:

                            Edition Identifiers:

                            Access and General Info:

                            • First Year Published: 1968
                            • Is Full Text Available: No
                            • Is The Book Public: No
                            • Access Status: No_ebook

                            Online Marketplaces

                            Find The mathematics of metamathematics [by] Helena Rasiowa and Roman Sikorski at online marketplaces:


                            34Thinking about Gödel and Turing

                            By

                            Book's cover

                            “Thinking about Gödel and Turing” Metadata:

                            • Title: ➤  Thinking about Gödel and Turing
                            • Author:
                            • Language: English
                            • Number of Pages: Median: 347
                            • Publisher: World Scientific
                            • Publish Date:
                            • Publish Location: Hackensack, N.J

                            “Thinking about Gödel and Turing” Subjects and Themes:

                            Edition Identifiers:

                            Access and General Info:

                            • First Year Published: 2007
                            • Is Full Text Available: No
                            • Is The Book Public: No
                            • Access Status: No_ebook

                            Online Marketplaces

                            Find Thinking about Gödel and Turing at online marketplaces:


                            35Introduction to model theory and to the metamathematics of algebra

                            By

                            Book's cover

                            “Introduction to model theory and to the metamathematics of algebra” Metadata:

                            • Title: ➤  Introduction to model theory and to the metamathematics of algebra
                            • Author:
                            • Language: English
                            • Number of Pages: Median: 284
                            • Publisher: North Holland - North-Holland
                            • Publish Date:
                            • Publish Location: Amsterdam

                            “Introduction to model theory and to the metamathematics of algebra” Subjects and Themes:

                            Edition Identifiers:

                            Access and General Info:

                            • First Year Published: 1963
                            • Is Full Text Available: Yes
                            • Is The Book Public: No
                            • Access Status: Printdisabled

                            Online Access

                            Downloads Are Not Available:

                            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                            Online Borrowing:

                              Online Marketplaces

                              Find Introduction to model theory and to the metamathematics of algebra at online marketplaces:


                              36Matematika i semantika

                              By

                              “Matematika i semantika” Metadata:

                              • Title: Matematika i semantika
                              • Author:
                              • Language: rus
                              • Number of Pages: Median: 78
                              • Publisher: ➤  Naukova dumka - "Nauckova dumka,"
                              • Publish Date:
                              • Publish Location: Kiev

                              “Matematika i semantika” Subjects and Themes:

                              Edition Identifiers:

                              Access and General Info:

                              • First Year Published: 1966
                              • Is Full Text Available: No
                              • Is The Book Public: No
                              • Access Status: No_ebook

                              Online Marketplaces

                              Find Matematika i semantika at online marketplaces:


                              37Wahrheit und Beweisbarkeit 2. Kompendium zum Werk

                              By

                              Book's cover

                              “Wahrheit und Beweisbarkeit 2. Kompendium zum Werk” Metadata:

                              • Title: ➤  Wahrheit und Beweisbarkeit 2. Kompendium zum Werk
                              • Author:
                              • Language: ger
                              • Number of Pages: Median: 448
                              • Publisher: Obv & Hpt - Öbv & Hpt
                              • Publish Date:
                              • Publish Location: Wien

                              “Wahrheit und Beweisbarkeit 2. Kompendium zum Werk” Subjects and Themes:

                              Edition Identifiers:

                              Access and General Info:

                              • First Year Published: 2002
                              • Is Full Text Available: No
                              • Is The Book Public: No
                              • Access Status: No_ebook

                              Online Access

                              Downloads Are Not Available:

                              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                              Online Borrowing:

                                Online Marketplaces

                                Find Wahrheit und Beweisbarkeit 2. Kompendium zum Werk at online marketplaces:


                                38Introductory formal logic of mathematics

                                By

                                “Introductory formal logic of mathematics” Metadata:

                                • Title: ➤  Introductory formal logic of mathematics
                                • Author:
                                • Number of Pages: Median: 188
                                • Publisher: ➤  Glencoe Free Press - Free Press
                                • Publish Date:
                                • Publish Location: Glencoe, Ill

                                “Introductory formal logic of mathematics” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1957
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Introductory formal logic of mathematics at online marketplaces:


                                39Vom Mythos der mathematischen Vernunft

                                By

                                “Vom Mythos der mathematischen Vernunft” Metadata:

                                • Title: ➤  Vom Mythos der mathematischen Vernunft
                                • Author:
                                • Language: ger
                                • Number of Pages: Median: 396
                                • Publisher: ➤  Wissenschaftliche Buchgesellschaft
                                • Publish Date:
                                • Publish Location: Darmstadt

                                “Vom Mythos der mathematischen Vernunft” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1981
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Vom Mythos der mathematischen Vernunft at online marketplaces:


                                40Mechanism, mentalism, and metamathematics

                                By

                                Book's cover

                                “Mechanism, mentalism, and metamathematics” Metadata:

                                • Title: ➤  Mechanism, mentalism, and metamathematics
                                • Author:
                                • Language: English
                                • Number of Pages: Median: 277
                                • Publisher: D. Reidel
                                • Publish Date:
                                • Publish Location: Boston - Dordrecht

                                “Mechanism, mentalism, and metamathematics” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1980
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Mechanism, mentalism, and metamathematics at online marketplaces:


                                41Introductory formal logic of mathematics

                                By

                                “Introductory formal logic of mathematics” Metadata:

                                • Title: ➤  Introductory formal logic of mathematics
                                • Author:
                                • Language: English
                                • Number of Pages: Median: 188
                                • Publisher: University Tutorial Press
                                • Publish Date:
                                • Publish Location: London

                                “Introductory formal logic of mathematics” Subjects and Themes:

                                Edition Identifiers:

                                • The Open Library ID: OL5809752M
                                • Online Computer Library Center (OCLC) ID: 2184935
                                • Library of Congress Control Number (LCCN): 60041389

                                Access and General Info:

                                • First Year Published: 1957
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Introductory formal logic of mathematics at online marketplaces:


                                42Infinitistic methods

                                By

                                “Infinitistic methods” Metadata:

                                • Title: Infinitistic methods
                                • Author: ➤  
                                • Language: English
                                • Number of Pages: Median: 362
                                • Publisher: Pergamon Press
                                • Publish Date:
                                • Publish Location: New York

                                “Infinitistic methods” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1961
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Infinitistic methods at online marketplaces:


                                43Metamathematique

                                By

                                “Metamathematique” Metadata:

                                • Title: Metamathematique
                                • Authors:
                                • Language: English
                                • Publisher: de Gruyter GmbH, Walter
                                • Publish Date:

                                “Metamathematique” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1967
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Metamathematique at online marketplaces:


                                44Comparative Metamathematics

                                By

                                “Comparative Metamathematics” Metadata:

                                • Title: Comparative Metamathematics
                                • Author:
                                • Language: English
                                • Publisher: Lulu Press, Inc.
                                • Publish Date:

                                “Comparative Metamathematics” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 2010
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Comparative Metamathematics at online marketplaces:


                                45Metamathematik

                                By

                                “Metamathematik” Metadata:

                                • Title: Metamathematik
                                • Author:
                                • Language: ger
                                • Number of Pages: Median: 167
                                • Publisher: Bibliographisches Institut
                                • Publish Date:
                                • Publish Location: Mannheim

                                “Metamathematik” Subjects and Themes:

                                Edition Identifiers:

                                • The Open Library ID: OL5874159M
                                • Online Computer Library Center (OCLC) ID: 2379626
                                • Library of Congress Control Number (LCCN): 63002336

                                Access and General Info:

                                • First Year Published: 1962
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Metamathematik at online marketplaces:


                                46GEB

                                By

                                “GEB” Metadata:

                                • Title: GEB
                                • Author:
                                • Language: chi
                                • Number of Pages: Median: 208
                                • Publisher: Sichuan ren min chu ban she
                                • Publish Date:
                                • Publish Location: Chengdu

                                “GEB” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1984
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find GEB at online marketplaces:


                                47Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture

                                By

                                “Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture” Metadata:

                                • Title: ➤  Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture
                                • Author:
                                • Language: English
                                • Number of Pages: Median: 49
                                • Publisher: Państwowe Wydawn. Naukowe
                                • Publish Date:
                                • Publish Location: Warszawa

                                “Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture” Subjects and Themes:

                                Edition Identifiers:

                                • The Open Library ID: OL50451525M
                                • Online Computer Library Center (OCLC) ID: 3010533
                                • Library of Congress Control Number (LCCN): 80508981

                                Access and General Info:

                                • First Year Published: 1976
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture at online marketplaces:


                                48Vvedenie v teori͡iu modeleĭ i metamatematiku algebry

                                By

                                “Vvedenie v teori͡iu modeleĭ i metamatematiku algebry” Metadata:

                                • Title: ➤  Vvedenie v teori͡iu modeleĭ i metamatematiku algebry
                                • Author:
                                • Language: rus
                                • Number of Pages: Median: 376
                                • Publisher: ➤  Izd-vo "Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry
                                • Publish Date:
                                • Publish Location: Moskva

                                “Vvedenie v teori͡iu modeleĭ i metamatematiku algebry” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1967
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Vvedenie v teori͡iu modeleĭ i metamatematiku algebry at online marketplaces:


                                49Gong li xue, yuan shu xue yu zhe xue

                                By

                                “Gong li xue, yuan shu xue yu zhe xue” Metadata:

                                • Title: ➤  Gong li xue, yuan shu xue yu zhe xue
                                • Author:
                                • Language: chi
                                • Number of Pages: Median: 125
                                • Publisher: ➤  Shanghai ren min chu ban she - Xin hua shu dian shanghai fa xing suo fa xing
                                • Publish Date:
                                • Publish Location: Shanghai

                                “Gong li xue, yuan shu xue yu zhe xue” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1983
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find Gong li xue, yuan shu xue yu zhe xue at online marketplaces:


                                50On the metamathematics of impredicative set theory

                                By

                                “On the metamathematics of impredicative set theory” Metadata:

                                • Title: ➤  On the metamathematics of impredicative set theory
                                • Author:
                                • Language: English
                                • Number of Pages: Median: 45
                                • Publisher: Państwowe Wydawn. Naukowe
                                • Publish Date:
                                • Publish Location: Warszawa

                                “On the metamathematics of impredicative set theory” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1973
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Marketplaces

                                Find On the metamathematics of impredicative set theory at online marketplaces:



                                Top of Page