Bücher versandkostenfrei*100 Tage RückgaberechtAbholung in der Wunschfiliale

NEU: Das Hugendubel Hörbuch Abo - jederzeit, überall, für nur 7,95 € monatlich!

Jetzt entdecken

mehr erfahren

Helmut Schwichtenberg, Stanley S. Wainer

Proofs and Computations

Name: Proofs and Computations
Brand: Cambridge University Press
Price: 103.99 EUR
Availability: InStock

(0 Bewertungen)15

1040 Lesepunkte

Buch (gebunden)

103,99 €inkl. Mwst.

Zustellung: Sa, 12.07. - Mi, 16.07.

Versand in 7 Tagen

Versandkostenfrei

Bestellen & in Filiale abholen:

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Inhaltsverzeichnis

Preface; Preliminaries; Part I. Basic Proof Theory and Computability: 1. Logic; 2. Recursion theory; 3. Godel's theorems; Part II. Provable Recursion in Classical Systems: 4. The provably recursive functions of arithmetic; 5. Accessible recursive functions, ID< and 11-CA0; Part III. Constructive Logic and Complexity: 6. Computability in higher types; 7. Extracting computational content from proofs; 8. Linear two-sorted arithmetic; Bibliography; Index.

Produktdetails

Erscheinungsdatum

28. März 2013

Sprache

englisch

Seitenanzahl

480

Autor/Autorin

Helmut Schwichtenberg, Stanley S. Wainer

Verlag/Hersteller

Cambridge University Press

Produktart

gebunden

Gewicht

969 g

Größe (L/B/H)

240/161/33 mm

ISBN

9780521517690

Entdecken Sie mehr

Mathematik: Logik

Portrait

Helmut Schwichtenberg

Helmut Schwichtenberg is an Emeritus Professor of Mathematics at Ludwig-Maximilians-Universität München. He has recently developed the 'proof-assistant' MINLOG, a computer-implemented logic system for proof/program development and extraction of computational content.

Pressestimmen

"Written by two leading practitioners in the area of formal logic, the book provides a panoramic view of the topic. This reference volume is a must for the bookshelf of every practitioner of formal logic and computer science." Prahladavaradan Sampath, Computing Reviews

Bewertungen

0 Bewertungen

Es wurden noch keine Bewertungen abgegeben. Schreiben Sie die erste Bewertung zu "Proofs and Computations" und helfen Sie damit anderen bei der Kaufentscheidung.