Explore: Mathematical And Symbolic Logic

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

Learn more about Mathematical And Symbolic Logic with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “mathematical-and-symbolic-logic”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Analysis and logic

By

Book's cover

“Analysis and logic” Metadata:

  • Title: Analysis and logic
  • Authors:
  • Language: English
  • Number of Pages: Median: 282
  • Publisher: Cambridge University Press
  • Publish Date:
  • Publish Location: Cambridge - New York

“Analysis and logic” Subjects and Themes:

Edition Identifiers:

First Setence:

"The ideas and methods of model theory are being applied today in nearly all parts of mathematics."

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 Analysis and logic at online marketplaces:


    2Constructive models

    By

    Book's cover

    “Constructive models” Metadata:

    • Title: Constructive models
    • Authors:
    • Language: English
    • Number of Pages: Median: 306
    • Publisher: Springer - Consultants Bureau
    • Publish Date:
    • Publish Location: New York

    “Constructive models” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 2000
    • 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 Constructive models at online marketplaces:


      3Algebraic foundations of many-valued reasoning

      By

      Book's cover

      “Algebraic foundations of many-valued reasoning” Metadata:

      • Title: ➤  Algebraic foundations of many-valued reasoning
      • Authors:
      • Language: English
      • Number of Pages: Median: 231
      • Publisher: ➤  Kluwer Academic - Springer - Kluwer Academic Publishers
      • Publish Date:
      • Publish Location: Boston - Dordrecht - London

      “Algebraic foundations of many-valued reasoning” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1999
      • 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 Algebraic foundations of many-valued reasoning at online marketplaces:


        4Computability

        By

        Book's cover

        “Computability” Metadata:

        • Title: Computability
        • Authors:
        • Language: English
        • Number of Pages: Median: 299
        • Publisher: ➤  Wadsworth & Brooks/Cole Advanced Books & Software - Wadsworth/Thomson Learning - Wadsworth Publishing
        • Publish Date:
        • Publish Location: ➤  Belmont, CA - Pacific Grove, Calif

        “Computability” Subjects and Themes:

        Edition Identifiers:

        First Setence:

        "Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics."

        Access and General Info:

        • First Year Published: 1989
        • 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 Computability at online marketplaces:


          5Sheaves, games, and model completions

          By

          Book's cover

          “Sheaves, games, and model completions” Metadata:

          • Title: ➤  Sheaves, games, and model completions
          • Authors:
          • Language: English
          • Number of Pages: Median: 243
          • Publisher: ➤  Kluwer Academic Publishers - Springer
          • Publish Date:
          • Publish Location: Dordrecht - Boston

          “Sheaves, games, and model completions” Subjects and Themes:

          Edition Identifiers:

          First Setence:

          "This book is an example of fruitful interaction between (non-classical) propositional logics and (classical) model theory which was made possible due to categorical logic."

          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 Sheaves, games, and model completions at online marketplaces:


            6Elements of Deductive Inference

            By

            Book's cover

            “Elements of Deductive Inference” Metadata:

            • Title: ➤  Elements of Deductive Inference
            • Authors:
            • Language: English
            • Number of Pages: Median: 412
            • Publisher: ➤  Wadsworth Publishing - Thomson Learning
            • Publish Date:
            • Publish Location: Belmont, CA

            “Elements of Deductive Inference” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1999
            • 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 Elements of Deductive Inference at online marketplaces:


              7Logic Colloquium'88

              By

              Book's cover

              “Logic Colloquium'88” Metadata:

              • Title: Logic Colloquium'88
              • Authors: ➤  
              • Language: English
              • Number of Pages: Median: 403
              • Publisher: ➤  Elsevier Science & Technology Books - North-Holland - Elsevier Science Publishing Company
              • Publish Date:
              • Publish Location: Oxford

              “Logic Colloquium'88” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 1989
              • 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 Logic Colloquium'88 at online marketplaces:


                8Orthomodular structures as quantum logics

                By

                Book's cover

                “Orthomodular structures as quantum logics” Metadata:

                • Title: ➤  Orthomodular structures as quantum logics
                • Authors:
                • Language: English
                • Number of Pages: Median: 228
                • Publisher: ➤  Kluwer Academic Publishers - Springer
                • Publish Date:
                • Publish Location: Boston - Dordrecht

                “Orthomodular structures as quantum logics” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1991
                • 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 Orthomodular structures as quantum logics at online marketplaces:


                  9Many-valued logics

                  By

                  Book's cover

                  “Many-valued logics” Metadata:

                  • Title: Many-valued logics
                  • Authors:
                  • Language: English
                  • Number of Pages: Median: 314
                  • Publisher: Springer-Verlag - Springer
                  • Publish Date:
                  • Publish Location: Berlin - New York

                  “Many-valued logics” Subjects and Themes:

                  Edition Identifiers:

                  First Setence:

                  "Basic Notions of Algebra"

                  Access and General Info:

                  • First Year Published: 1992
                  • 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 Many-valued logics at online marketplaces:


                    10Mathematical principles of fuzzy logic

                    By

                    Book's cover

                    “Mathematical principles of fuzzy logic” Metadata:

                    • Title: ➤  Mathematical principles of fuzzy logic
                    • Authors:
                    • Language: English
                    • Number of Pages: Median: 328
                    • Publisher: Kluwer Academic - Springer
                    • Publish Date:
                    • Publish Location: Boston

                    “Mathematical principles of fuzzy logic” Subjects and Themes:

                    Edition Identifiers:

                    First Setence:

                    "The discussion about the philosophical background and the role of fuzzy logic in science has not been finished till now."

                    Access and General Info:

                    • First Year Published: 1999
                    • 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 Mathematical principles of fuzzy logic at online marketplaces:


                      11Triangular norms

                      By

                      Book's cover

                      “Triangular norms” Metadata:

                      • Title: Triangular norms
                      • Authors:
                      • Language: English
                      • Number of Pages: Median: 396
                      • Publisher: ➤  Springer - Kluwer Academic Publishers
                      • Publish Date:
                      • Publish Location: Dordrecht - Boston

                      “Triangular norms” Subjects and Themes:

                      Edition Identifiers:

                      Access and General Info:

                      • First Year Published: 2000
                      • 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 Triangular norms at online marketplaces:


                        12Labelled non-classical logics

                        By

                        Book's cover

                        “Labelled non-classical logics” Metadata:

                        • Title: Labelled non-classical logics
                        • Authors:
                        • Language: English
                        • Number of Pages: Median: 300
                        • Publisher: ➤  Springer - Kluwer Academic Publishers
                        • Publish Date:
                        • Publish Location: Boston

                        “Labelled non-classical logics” Subjects and Themes:

                        Edition Identifiers:

                        First Setence:

                        "Non-classical logics such as modal, temporal, relevance or substructural logics are extensions or restrictions of classical logic that provide languages for formalizing and reasoning about knowledge, belief, time, space, resources, and other dynamic 'state-oriented' properties."

                        Access and General Info:

                        • First Year Published: 2000
                        • 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 Labelled non-classical logics at online marketplaces:


                          13Labelled deduction

                          By

                          Book's cover

                          “Labelled deduction” Metadata:

                          • Title: Labelled deduction
                          • Authors:
                          • Language: English
                          • Number of Pages: Median: 266
                          • Publisher: ➤  Island Press - Kluwer Academic Publishers
                          • Publish Date:
                          • Publish Location: Dordrecht - Boston

                          “Labelled deduction” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

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

                          Online Marketplaces

                          Find Labelled deduction at online marketplaces:


                          Top of Page