Matches in Library of Congress for { <http://lccn.loc.gov/2012030734> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2012030734 contributor B12462765.
- 2012030734 date "2013".
- 2012030734 description "Includes bibliographical references and index.".
- 2012030734 extent "x, 490 pages ;".
- 2012030734 hasVersion "Proof theory".
- 2012030734 identifier "0486490734 (pbk.)".
- 2012030734 identifier "9780486490731 (pbk.)".
- 2012030734 isPartOf "Dover books on mathematics".
- 2012030734 isVersionOf "Reprint of (manifestation): Takeuti, Gaisi, 1926- Proof theory 2nd ed. Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987 x, 490 p. ; 23 cm. Studies in logic and the foundations of mathematics ; v. 81 (DLC) 2012030734".
- 2012030734 issued "2013".
- 2012030734 language "eng".
- 2012030734 relation "Proof theory".
- 2012030734 subject "511.3/6 23".
- 2012030734 subject "MATHEMATICS / Logic. bisacsh".
- 2012030734 subject "Proof theory.".
- 2012030734 subject "QA9.54 .T34 2013".
- 2012030734 title "Proof theory / Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign.".
- 2012030734 type "text".