Explore: Formele Logica

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

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

Topic Search

Search for any topic

AI-Generated Overview About “formele-logica”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Formale Logik

By

Book's cover

“Formale Logik” Metadata:

  • Title: Formale Logik
  • Author:
  • Languages: ger - English
  • Number of Pages: Median: 645
  • Publisher: ➤  Chelsea Pub. Co. - University of Notre Dame Press - K. Alber - Alber
  • Publish Date: ➤  
  • Publish Location: ➤  Freiburg - New York - [Notre Dame, Ind.]

“Formale Logik” 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 Formale Logik at online marketplaces:


2Formale Logik

By

Book's cover

“Formale Logik” Metadata:

  • Title: Formale Logik
  • Author:
  • Language: ger
  • Number of Pages: Median: 645
  • Publisher: K. Alber
  • Publish Date:
  • Publish Location: Freiburg i. Br - Freiburg

“Formale Logik” 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 Formale Logik at online marketplaces:


3Formal logic

By

Book's cover

“Formal logic” Metadata:

  • Title: Formal logic
  • Author:
  • Language: English
  • Number of Pages: Median: 196
  • Publisher: McGraw-Hill
  • Publish Date:
  • Publish Location: New York

“Formal logic” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1967
  • 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 Formal logic at online marketplaces:


4Teaching and Learning Formal Methods

By

Book's cover

“Teaching and Learning Formal Methods” Metadata:

  • Title: ➤  Teaching and Learning Formal Methods
  • Authors:
  • Language: English
  • Number of Pages: Median: 285
  • Publisher: ➤  Morgan Kaufmann - Elsevier Science & Technology Books
  • Publish Date:

“Teaching and Learning Formal Methods” Subjects and Themes:

Edition Identifiers:

First Setence:

"By formal methods of software development I mean methods that exploit the power of discrete mathematics (set theory and predicate calculus)."

Access and General Info:

  • First Year Published: 1996
  • 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 Teaching and Learning Formal Methods at online marketplaces:


5A precis of mathematical logic

By

Book's cover

“A precis of mathematical logic” Metadata:

  • Title: A precis of mathematical logic
  • Author:
  • Languages: fre - English
  • Number of Pages: Median: 100
  • Publisher: D. Reidel Pub. Co.
  • Publish Date:
  • Publish Location: Dordrecht, Holland

“A precis of mathematical logic” Subjects and Themes:

Edition Identifiers:

  • The Open Library ID: OL5786305M
  • Online Computer Library Center (OCLC) ID: 373053
  • Library of Congress Control Number (LCCN): 59050469

Access and General Info:

  • First Year Published: 1959
  • 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 A precis of mathematical logic at online marketplaces:


6Kants Logik der Begriffe

By

Book's cover

“Kants Logik der Begriffe” Metadata:

  • Title: Kants Logik der Begriffe
  • Author:
  • Language: ger
  • Number of Pages: Median: 199
  • Publisher: ➤  Walter de Gruyter - de Gruyter GmbH, Walter - De Gruyter, Inc.
  • Publish Date:

“Kants Logik der Begriffe” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2006
  • 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 Kants Logik der Begriffe at online marketplaces:


    7The language of logic

    By

    Book's cover

    “The language of logic” Metadata:

    • Title: The language of logic
    • Author:
    • Language: English
    • Number of Pages: Median: 336
    • Publisher: Blackwell
    • Publish Date:
    • Publish Location: ➤  New York, NY, USA - Oxford OX, UK

    “The language of logic” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1986
    • 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 The language of logic at online marketplaces:


      8Formal philosophy

      By

      Book's cover

      “Formal philosophy” Metadata:

      • Title: Formal philosophy
      • Authors:
      • Language: English
      • Number of Pages: Median: 264
      • Publisher: Automatic Press / VIP
      • Publish Date:

      “Formal philosophy” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 2005
      • 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 Formal philosophy at online marketplaces:


        9Formal methods in artificial intelligence

        By

        Book's cover

        “Formal methods in artificial intelligence” Metadata:

        • Title: ➤  Formal methods in artificial intelligence
        • Author:
        • Language: English
        • Number of Pages: Median: 279
        • Publisher: Cambridge University Press
        • Publish Date:
        • Publish Location: New York - Cambridge

        “Formal methods in artificial intelligence” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1988
        • 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 Formal methods in artificial intelligence at online marketplaces:


          10The evolution of reason

          By

          Book's cover

          “The evolution of reason” Metadata:

          • Title: The evolution of reason
          • Author:
          • Language: English
          • Number of Pages: Median: 226
          • Publisher: Cambridge University Press
          • Publish Date:
          • Publish Location: New York - Cambridge, U.K

          “The evolution of reason” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 2001
          • 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 The evolution of reason at online marketplaces:


            11Proof, logic, and formalization

            By

            Book's cover

            “Proof, logic, and formalization” Metadata:

            • Title: ➤  Proof, logic, and formalization
            • Author:
            • Language: English
            • Number of Pages: Median: 241
            • Publisher: Routledge
            • Publish Date:
            • Publish Location: London - New York

            “Proof, logic, and formalization” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1992
            • 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 Proof, logic, and formalization at online marketplaces:


              12Ancient formal logic

              By

              Book's cover

              “Ancient formal logic” Metadata:

              • Title: Ancient formal logic
              • Author:
              • Language: English
              • Number of Pages: Median: 122
              • Publisher: North-Holland Pub. Co.
              • Publish Date:
              • Publish Location: Amsterdam

              “Ancient formal logic” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 1951
              • 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 Ancient formal logic at online marketplaces:


                13Introduction to Logical Theory

                By

                Book's cover

                “Introduction to Logical Theory” Metadata:

                • Title: Introduction to Logical Theory
                • Author:
                • Number of Pages: Median: 266
                • Publisher: Law Book Co of Australasia
                • Publish Date:

                “Introduction to Logical Theory” 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 Introduction to Logical Theory at online marketplaces:


                14Notre Dame journal of formal logic

                By

                “Notre Dame journal of formal logic” Metadata:

                • Title: ➤  Notre Dame journal of formal logic
                • Author:
                • Languages: jpn - English
                • Number of Pages: Median: 157
                • Publisher: University of Notre Dame
                • Publish Date:
                • Publish Location: Notre Dame, Ind

                “Notre Dame journal of formal logic” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find Notre Dame journal of formal logic at online marketplaces:


                15An Investigation of the Laws of Thought (Barnes & Noble)

                By

                Book's cover

                “An Investigation of the Laws of Thought (Barnes & Noble)” Metadata:

                • Title: ➤  An Investigation of the Laws of Thought (Barnes & Noble)
                • Author:
                • Languages: English - und
                • Number of Pages: Median: 424
                • Publisher: ➤  Kessinger Publishing, LLC - Walton and Maberly - Barnes & Noble - Cambridge University Press - Franklin Classics - Watchmaker Publishing - Prometheus Books - Dover Publications - Independently Published - Dover Publication - Open Court - Barnes & Noble, Incorporated - Cosimo Classics - Peter Smith Pub Inc - Open Court Publishing Company - Brand: Cambridge University Press - Benediction Classics - Creative Media Partners, LLC - Dover - Dover Publications, Incorporated - Macmillan and co. - The Open court publishing company
                • Publish Date: ➤  
                • Publish Location: ➤  La Salle, Ill - London - Amherst, N.Y - [New York] - New York : Dover Publications - Chicago - New York

                “An Investigation of the Laws of Thought (Barnes & Noble)” Subjects and Themes:

                Edition Identifiers:

                First Setence:

                "1. THE design of the following treatise is to investigate the fundamental laws of those operations of the mind by which reasoning is performed; to give expression to them in the symbolical language of a Calculus, and upon this foundation to establish the science of Logic and construct its method ; to make that method itself the basis of a general method for the application of the mathematical doctrine of Probabilities ; and, finally, to collect from the various elements of truth brought to view in the course of these inquiries some probable intimations concerning the nature and constitution of the human mind."

                Access and General Info:

                • First Year Published: 1854
                • Is Full Text Available: Yes
                • Is The Book Public: Yes
                • Access Status: Public

                Online Access

                Online Borrowing:

                Online Marketplaces

                Find An Investigation of the Laws of Thought (Barnes & Noble) at online marketplaces:


                16Untersuchungen zur Logik der Gegenwart

                By

                Book's cover

                “Untersuchungen zur Logik der Gegenwart” Metadata:

                • Title: ➤  Untersuchungen zur Logik der Gegenwart
                • Author:
                • Language: ger
                • Publisher: Reuther & Reichard
                • Publish Date:

                “Untersuchungen zur Logik der Gegenwart” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1913
                • Is Full Text Available: Yes
                • Is The Book Public: Yes
                • Access Status: Public

                Online Access

                Downloads:

                  Online Borrowing:

                  Online Marketplaces

                  Find Untersuchungen zur Logik der Gegenwart at online marketplaces:


                  Top of Page