Explore: Decidability (mathematical Logic)

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

Learn more about Decidability (mathematical Logic) with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “decidability-%28mathematical-logic%29”:


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

“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:


2Cornerstones of undecidability

By

Book's cover

“Cornerstones of undecidability” Metadata:

  • Title: Cornerstones of undecidability
  • Author:
  • Language: English
  • Number of Pages: Median: 197
  • Publisher: Prentice Hall
  • Publish Date:
  • Publish Location: New York

“Cornerstones of undecidability” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1994
  • 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 Cornerstones of undecidability at online marketplaces:


3The classical decision problem

By

Book's cover

“The classical decision problem” Metadata:

  • Title: The classical decision problem
  • Author:
  • Language: English
  • Number of Pages: Median: 492
  • Publisher: Springer
  • Publish Date:
  • Publish Location: New York

“The classical decision problem” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1997
  • 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 The classical decision problem at online marketplaces:


4Reachability Problems

By

Book's cover

“Reachability Problems” Metadata:

  • Title: Reachability Problems
  • Authors:
  • Language: English
  • Number of Pages: Median: 223
  • Publisher: ➤  Springer International Publishing AG - Springer London, Limited - Springer
  • Publish Date: ➤  

“Reachability Problems” 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 Reachability Problems at online marketplaces:


    5Deducibility and Decidability

    By

    “Deducibility and Decidability” Metadata:

    • Title: Deducibility and Decidability
    • Author:
    • Language: English
    • Number of Pages: Median: 170
    • Publisher: Taylor & Francis Group
    • Publish Date:

    “Deducibility and Decidability” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

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

    Online Marketplaces

    Find Deducibility and Decidability at online marketplaces:


    6Classical Decision Problem

    By

    Book's cover

    “Classical Decision Problem” Metadata:

    • Title: Classical Decision Problem
    • Authors:
    • Language: English
    • Number of Pages: Median: 492
    • Publisher: Springer
    • Publish Date:

    “Classical Decision Problem” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1997
    • 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 Classical Decision Problem at online marketplaces:


      7Thinking about Acting

      By

      “Thinking about Acting” Metadata:

      • Title: Thinking about Acting
      • Author:
      • Language: English
      • Publisher: ➤  Oxford University Press, Incorporated - Oxford University Press
      • Publish Date:

      “Thinking about Acting” 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 Marketplaces

      Find Thinking about Acting at online marketplaces:


      8Recursive functions and metamathematics

      By

      Book's cover

      “Recursive functions and metamathematics” Metadata:

      • Title: ➤  Recursive functions and metamathematics
      • Author:
      • Language: English
      • Number of Pages: Median: 398
      • Publisher: Kluwer Academic - Springer
      • Publish Date:
      • Publish Location: ➤  Boston - Dordrecht, Netherlands

      “Recursive functions and metamathematics” 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 Recursive functions and metamathematics at online marketplaces:


        9Reachability Problems

        By

        Book's cover

        “Reachability Problems” Metadata:

        • Title: Reachability Problems
        • Author:
        • Language: English
        • Publisher: ➤  Springer Berlin Heidelberg - Springer
        • Publish Date:
        • Publish Location: Berlin, Heidelberg

        “Reachability Problems” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 2009
        • 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 Reachability Problems at online marketplaces:


          10Reachability Problems

          By

          Book's cover

          “Reachability Problems” Metadata:

          • Title: Reachability Problems
          • Author:
          • Language: English
          • Number of Pages: Median: 259
          • Publisher: ➤  Springer-Verlag GmbH Berlin Heidelberg - Springer
          • Publish Date:
          • Publish Location: Berlin, Heidelberg

          “Reachability Problems” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 2011
          • 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 Reachability Problems at online marketplaces:


            11Deducibility and decidability

            By

            Book's cover

            “Deducibility and decidability” Metadata:

            • Title: Deducibility and decidability
            • Author:
            • Language: English
            • Number of Pages: Median: 162
            • Publisher: Routledge
            • Publish Date:
            • Publish Location: London - New York

            “Deducibility and decidability” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1990
            • 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 Deducibility and decidability at online marketplaces:


              12Thinking about acting

              By

              Book's cover

              “Thinking about acting” Metadata:

              • Title: Thinking about acting
              • Author:
              • Language: English
              • Number of Pages: Median: 274
              • Publisher: ➤  Oxford University Press - Oxford University Press, USA
              • Publish Date:
              • Publish Location: Oxford - New York

              “Thinking about acting” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 2006
              • 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 Thinking about acting at online marketplaces:


                13New Essays On The Philosophy Of Michael Dummett.(Grazer Philosophische Studien 55)

                By

                Book's cover

                “New Essays On The Philosophy Of Michael Dummett.(Grazer Philosophische Studien 55)” Metadata:

                • Title: ➤  New Essays On The Philosophy Of Michael Dummett.(Grazer Philosophische Studien 55)
                • Author:
                • Language: English
                • Number of Pages: Median: 263
                • Publisher: Rodopi Bv Editions - Rodopi
                • Publish Date:
                • Publish Location: Amsterdam - Atlanta, GA

                “New Essays On The Philosophy Of Michael Dummett.(Grazer Philosophische Studien 55)” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1998
                • 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 New Essays On The Philosophy Of Michael Dummett.(Grazer Philosophische Studien 55) at online marketplaces:


                  14Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem

                  By

                  “Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem” Metadata:

                  • Title: ➤  Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
                  • Authors:
                  • Language: English
                  • Publisher: American Mathematical Society
                  • Publish Date:

                  “Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

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

                  Online Marketplaces

                  Find Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem at online marketplaces:


                  15Decidability and generalized quantifiers

                  By

                  “Decidability and generalized quantifiers” Metadata:

                  • Title: ➤  Decidability and generalized quantifiers
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 235
                  • Publisher: Akademie-Verlag
                  • Publish Date:
                  • Publish Location: Berlin

                  “Decidability and generalized quantifiers” 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 Decidability and generalized quantifiers at online marketplaces:


                  16The undecidability of the domino problem

                  By

                  “The undecidability of the domino problem” Metadata:

                  • Title: ➤  The undecidability of the domino problem
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 72
                  • Publisher: American Mathematical Society
                  • Publish Date:
                  • Publish Location: Providence

                  “The undecidability of the domino problem” 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 The undecidability of the domino problem at online marketplaces:


                  17The classical decision problem

                  By

                  “The classical decision problem” Metadata:

                  • Title: The classical decision problem
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 482
                  • Publisher: Springer
                  • Publish Date:
                  • Publish Location: Berlin - London

                  “The classical decision problem” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

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

                  Online Marketplaces

                  Find The classical decision problem at online marketplaces:


                  18Logically motivated varieties with decidable finite algebras

                  By

                  “Logically motivated varieties with decidable finite algebras” Metadata:

                  • Title: ➤  Logically motivated varieties with decidable finite algebras
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 69
                  • Publisher: ➤  Nakł. Uniwersytetu Jagiellońskiego
                  • Publish Date:
                  • Publish Location: Kraków

                  “Logically motivated varieties with decidable finite algebras” 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: No_ebook

                  Online Marketplaces

                  Find Logically motivated varieties with decidable finite algebras at online marketplaces:


                  19Decision problems for equational theories of relation algebras

                  By

                  “Decision problems for equational theories of relation algebras” Metadata:

                  • Title: ➤  Decision problems for equational theories of relation algebras
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 126
                  • Publisher: American Mathematical Society
                  • Publish Date:
                  • Publish Location: Providence, R.I

                  “Decision problems for equational theories of relation algebras” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

                  • First Year Published: 1997
                  • 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 Decision problems for equational theories of relation algebras at online marketplaces:


                    20Decidability and generalized quantifiers

                    “Decidability and generalized quantifiers” Metadata:

                    • Title: ➤  Decidability and generalized quantifiers
                    • Language: English
                    • Number of Pages: Median: 235
                    • Publisher: Akademie-Verlag
                    • Publish Date:
                    • Publish Location: Berlin

                    “Decidability and generalized quantifiers” 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 Decidability and generalized quantifiers at online marketplaces:


                    21Issues of decidability and tractability

                    By

                    “Issues of decidability and tractability” Metadata:

                    • Title: ➤  Issues of decidability and tractability
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 227
                    • Publisher: University of Białystok
                    • Publish Date:
                    • Publish Location: Białystok

                    “Issues of decidability and tractability” 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 Marketplaces

                    Find Issues of decidability and tractability at online marketplaces:


                    22A decidable sequent calculus theorem prover using controlled contraction

                    By

                    “A decidable sequent calculus theorem prover using controlled contraction” Metadata:

                    • Title: ➤  A decidable sequent calculus theorem prover using controlled contraction
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 136
                    • Publish Date:

                    “A decidable sequent calculus theorem prover using controlled contraction” 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: No_ebook

                    Online Marketplaces

                    Find A decidable sequent calculus theorem prover using controlled contraction at online marketplaces:


                    23Decision problems for equational theories of relation algebras

                    By

                    Book's cover

                    “Decision problems for equational theories of relation algebras” Metadata:

                    • Title: ➤  Decision problems for equational theories of relation algebras
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 126
                    • Publisher: American Mathematical Society
                    • Publish Date:
                    • Publish Location: Providence, R.I

                    “Decision problems for equational theories of relation algebras” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

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

                    Online Marketplaces

                    Find Decision problems for equational theories of relation algebras at online marketplaces:


                    24Decidability and Boolean representations

                    By

                    Book's cover

                    “Decidability and Boolean representations” Metadata:

                    • Title: ➤  Decidability and Boolean representations
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 106
                    • Publisher: American Mathematical Society
                    • Publish Date:
                    • Publish Location: Providence, R.I

                    “Decidability and Boolean representations” 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 Decidability and Boolean representations at online marketplaces:


                    25Countable Boolean algebras and decidability

                    By

                    Book's cover

                    “Countable Boolean algebras and decidability” Metadata:

                    • Title: ➤  Countable Boolean algebras and decidability
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 318
                    • Publisher: Consultants Bureau
                    • Publish Date:
                    • Publish Location: New York

                    “Countable Boolean algebras and decidability” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

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

                    Online Marketplaces

                    Find Countable Boolean algebras and decidability at online marketplaces:


                    26Schetnye bulevy algebry

                    By

                    “Schetnye bulevy algebry” Metadata:

                    • Title: Schetnye bulevy algebry
                    • Author:
                    • Language: rus
                    • Number of Pages: Median: 175
                    • Publisher: "Nauka," Sibirskoe otd-nie
                    • Publish Date:
                    • Publish Location: Novosibirsk

                    “Schetnye bulevy algebry” 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: No_ebook

                    Online Marketplaces

                    Find Schetnye bulevy algebry at online marketplaces:


                    27Metody refutacyjne w badaniach nad systemami logicznymi

                    By

                    “Metody refutacyjne w badaniach nad systemami logicznymi” Metadata:

                    • Title: ➤  Metody refutacyjne w badaniach nad systemami logicznymi
                    • Author:
                    • Language: pol
                    • Number of Pages: Median: 121
                    • Publisher: Uniwersytet Opolski
                    • Publish Date:
                    • Publish Location: Opole

                    “Metody refutacyjne w badaniach nad systemami logicznymi” 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 Metody refutacyjne w badaniach nad systemami logicznymi at online marketplaces:


                    28Metody refutacyjne w badaniach nad systemami logicznymi

                    By

                    “Metody refutacyjne w badaniach nad systemami logicznymi” Metadata:

                    • Title: ➤  Metody refutacyjne w badaniach nad systemami logicznymi
                    • Author:
                    • Language: pol
                    • Number of Pages: Median: 121
                    • Publisher: Uniwersytet Opolski
                    • Publish Date:
                    • Publish Location: Opole

                    “Metody refutacyjne w badaniach nad systemami logicznymi” 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 Metody refutacyjne w badaniach nad systemami logicznymi at online marketplaces:


                    29Funkcje rekurencyjne i elementy metamatematyki

                    By

                    Book's cover

                    “Funkcje rekurencyjne i elementy metamatematyki” Metadata:

                    • Title: ➤  Funkcje rekurencyjne i elementy metamatematyki
                    • Author:
                    • Language: pol
                    • Number of Pages: Median: 186
                    • Publisher: ➤  Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu
                    • Publish Date:
                    • Publish Location: Poznań

                    “Funkcje rekurencyjne i elementy metamatematyki” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

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

                    Online Marketplaces

                    Find Funkcje rekurencyjne i elementy metamatematyki at online marketplaces:


                    30Recursive Functions and Metamathematics

                    By

                    Book's cover

                    “Recursive Functions and Metamathematics” Metadata:

                    • Title: ➤  Recursive Functions and Metamathematics
                    • Author:
                    • Language: English
                    • Number of Pages: Median: 395
                    • Publisher: Springer Netherlands
                    • Publish Date:
                    • Publish Location: Dordrecht

                    “Recursive Functions and Metamathematics” 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 Recursive Functions and Metamathematics at online marketplaces:


                      31Schetnye bulevy algebry i razreshimostʹ

                      By

                      Book's cover

                      “Schetnye bulevy algebry i razreshimostʹ” Metadata:

                      • Title: ➤  Schetnye bulevy algebry i razreshimostʹ
                      • Author:
                      • Language: rus
                      • Number of Pages: Median: 361
                      • Publisher: Nauchnai͡a kniga
                      • Publish Date:
                      • Publish Location: Novosibirsk

                      “Schetnye bulevy algebry i razreshimostʹ” Subjects and Themes:

                      Edition Identifiers:

                      Access and General Info:

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

                      Online Marketplaces

                      Find Schetnye bulevy algebry i razreshimostʹ at online marketplaces:


                      32Cinq conférences sur l'indécidabilité

                      By

                      Book's cover

                      “Cinq conférences sur l'indécidabilité” Metadata:

                      • Title: ➤  Cinq conférences sur l'indécidabilité
                      • Author:
                      • Language: fre
                      • Number of Pages: Median: 77
                      • Publisher: ➤  Presses de l'École nationale des ponts et chaussées
                      • Publish Date:
                      • Publish Location: Paris

                      “Cinq conférences sur l'indécidabilité” 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 Cinq conférences sur l'indécidabilité at online marketplaces:


                      33Reachability problems

                      By

                      Book's cover

                      “Reachability problems” Metadata:

                      • Title: Reachability problems
                      • Author: ➤  
                      • Language: English
                      • Number of Pages: Median: 197
                      • Publisher: Springer
                      • Publish Date:
                      • Publish Location: New York - Berlin

                      “Reachability problems” 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 Reachability problems at online marketplaces:


                      Top of Page