An edition of Applied proof theory (2008)

Applied proof theory

proof interpretations and their use in mathematics

by

Cover of: Applied proof theory by U. Kohlenbach, U. Kohlenbach
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 13, 2022 | History
Edit
An edition of Applied proof theory (2008)

Applied proof theory

proof interpretations and their use in mathematics

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
532

Check nearby libraries

Buy this book

Subjects

Nonlinear operators, Approximation theory, Proof theory, Automatic theorem proving, Functional analysis, Operator theory, Mathematics, Symbolic and mathematical Logic, Mathematics, general, Approximations and Expansions, Mathematical Logic and Foundations
Edition Availability
Cover of: Applied proof theory
Applied proof theory: proof interpretations and their use in mathematics
2008, Springer
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [507]-523) and index.

Published in
Berlin
Series
Springer monographs in mathematics

Classifications

Library of Congress
QA9.54 .K64 2008, QA8.9-10.3, QA1-939

The Physical Object

Pagination
xix, 532 p. ;
Number of pages
532

Edition Identifiers

Open Library
OL22535402M
ISBN 13
9783540775324, 9783540775331
LCCN
2008920614
LibraryThing
6273637

Work Identifiers

Work ID
OL13611829W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
December 13, 2022 Edited by MARC Bot import existing book
June 28, 2019 Edited by MARC Bot import existing book
January 29, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page