Applied proof theory : proof interpretations and their use in mathematics /

other_versions_link
Bibliografische gegevens
Hoofdauteur: Kohlenbach, U.
Formaat: Printed Book
Gepubliceerd in: Berlin : Springer, c2008.
Reeks:Springer monographs in mathematics,
Onderwerpen:
Proof theory.
Approximation theory.
Nonlinear operators.
Automatic theorem proving.
Omschrijving
Fysieke beschrijving:xix, 532 p. ;
Bibliografie:Includes bibliographical references (p. [507]-523) and index.
ISBN:9783540775324 (alk. paper)
9783540775331 (eISBN)

Gelijkaardige items