Proof theory : history and philosophical significance

Author(s)

Bibliographic Information

Proof theory : history and philosophical significance

edited by Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin Jørgensen

(Synthese library, v. 292)

Kluwer Academic, c2000

Available at  / 23 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

"Result of a conference held at the University of Roskilde, Denmark, October 31st-November 1st, 1997"--Pref

Related Books: 1-1 of 1

  • Synthese library

    D. Reidel , Distributed in the U.S.A. and Canada by Kluwer Boston

    Available at 2 libraries

Details

  • NCID
    BA48756189
  • ISBN
    • 0792365445
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Dordrecht ; Boston
  • Pages/Volumes
    xii, 244 p.
  • Size
    25 cm
  • Parent Bibliography ID
Page Top