Matches in Library of Congress for { <http://lccn.loc.gov/2008920614> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2008920614 contributor B11376672.
- 2008920614 created "c2008.".
- 2008920614 date "2008".
- 2008920614 date "c2008.".
- 2008920614 dateCopyrighted "c2008.".
- 2008920614 description "Includes bibliographical references (p. [507]-523) and index.".
- 2008920614 extent "xix, 532 p. ;".
- 2008920614 identifier "9783540775324 (alk. paper)".
- 2008920614 identifier "9783540775331 (e-ISBN)".
- 2008920614 isPartOf "Springer monographs in mathematics, 1439-7382".
- 2008920614 issued "2008".
- 2008920614 issued "c2008.".
- 2008920614 language "eng".
- 2008920614 publisher "Berlin : Springer,".
- 2008920614 subject "511.3/6 22".
- 2008920614 subject "Approximation theory.".
- 2008920614 subject "Automatic theorem proving.".
- 2008920614 subject "Nonlinear operators.".
- 2008920614 subject "Proof theory.".
- 2008920614 subject "QA9.54 .K64 2008".
- 2008920614 title "Applied proof theory : proof interpretations and their use in mathematics / U. Kohlenbach.".
- 2008920614 type "text".