EUR 8,42
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbCloth. Zustand: Very Good. 212 pp. Tightly bound. Corners not bumped. Text is Free of Markings. No ownership markings.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
EUR 7,09
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 MAC 9780817634391 Sprache: Englisch Gewicht in Gramm: 550.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
EUR 7,05
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 MAC 9780817634391 Sprache: Englisch Gewicht in Gramm: 550.
Verlag: Springer-Verlag New York Inc., New York, 2011
ISBN 10: 1461289084 ISBN 13: 9781461289081
Sprache: Englisch
Anbieter: Grand Eagle Retail, Mason, OH, USA
EUR 55,89
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] paper on formally undecidable propo sitions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e. , that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). The de termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
EUR 53,56
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,39
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 54,31
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
EUR 61,16
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
EUR 61,53
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,73
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
EUR 75,65
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 228.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 89,64
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
EUR 76,28
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. 2011. Paperback. . . . . .
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
EUR 81,29
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. Series: Progress in Mathematics. Num Pages: 216 pages, biography. BIC Classification: PBF. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 1100. . 1989. Hardback. . . . .
Anbieter: ALLBOOKS1, Direk, SA, Australien
EUR 97,54
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 94,74
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. 2011. Paperback. . . . . . Books ship from the US and Ireland.
EUR 101,04
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. Series: Progress in Mathematics. Num Pages: 216 pages, biography. BIC Classification: PBF. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 1100. . 1989. Hardback. . . . . Books ship from the US and Ireland.
EUR 64,08
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 98,51
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Verlag: Springer-Verlag New York Inc., New York, 2011
ISBN 10: 1461289084 ISBN 13: 9781461289081
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
EUR 104,88
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] paper on formally undecidable propo sitions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e. , that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). The de termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Verlag: Birkhauser Boston Nov 1989, 1989
ISBN 10: 0817634398 ISBN 13: 9780817634391
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 86,02
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware - A mathematically precise definition of the intuitive notion of 'algorithm' was implicit in Kurt Godel's [1931] paper on formally undecidable propo sitions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e. , that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). The de termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A.
EUR 58,88
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Verlag: Birkhäuser, Birkhäuser Okt 2011, 2011
ISBN 10: 1461289084 ISBN 13: 9781461289081
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A mathematically precise definition of the intuitive notion of 'algorithm' was implicit in Kurt Godel's [1931] paper on formally undecidable propo sitions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e. , that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). The de termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A. 228 pp. Englisch.
Verlag: Springer-Verlag New York Inc., 2011
ISBN 10: 1461289084 ISBN 13: 9781461289081
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 67,53
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 339.
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 67,53
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 529.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 77,47
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 228 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 79,45
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND pp. 228.