Cover Image

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

Bibliographic Details
Main Author: Kohlenbach, U. (Ulrich)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin : Springer, [2008]
Series:Springer monographs in mathematics.
Subjects:
Approximation theory.
Automatic theorem proving.
Nonlinear operators.
Proof theory.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:xix, 532 pages ; 24 cm.
Bibliography:Includes bibliographical references (pages [507]-523) and index.
ISBN:3540775331
9783540775331
ISSN:1439-7382
DOI:10.1007/978-3-540-77533-1