Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990

Bibliographic Information

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990

edited by Peter Aczel, Harold Simmons and Stanley S. Wainer

Cambridge University Press, 1992

  • pbk

Available at  / 36 libraries

Search this Book/Journal

Note

"Papers presented at an internationsl Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990" -- Pref

Includes bibliographical references

Details

  • NCID
    BA19460553
  • ISBN
    • 052141413X
    • 9780521054164
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cambridge
  • Pages/Volumes
    x, 306 p.
  • Size
    24 cm
  • Subject Headings
Page Top