Hoppa till sidans huvudinnehåll

Proof Theory

A selection of papers from the Leeds Proof Theory Programme 1990

Inbunden, Engelska, 1993

AvPeter Aczel,Harold Simmons,Stanley S. Wainer,Peter (University of Manchester) Aczel,Harold (University of Manchester) Simmons,Stanley S. (University of Leeds) Wainer

1 889 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

Produktinformation

  • Utgivningsdatum1993-02-11
  • Mått152 x 229 x 22 mm
  • Vikt640 g
  • FormatInbunden
  • SpråkEngelska
  • Antal sidor320
  • FörlagCambridge University Press
  • ISBN9780521414135

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Moral Questions

Jon Nuttall, St.) Nuttall, Jon (Director of Studies

Häftad

309 kr

Del 1

The Regions and Global Warming

Jurgen Schmandt, Judith Clarkson, Austin) Schmandt, Jurgen (Director, Center for Global Studies, Houston Advanced Research Center; Professor of Public Affairs, Director, Center for Global Studies, Houston Advanced Research Center; Professor of Public Affairs, University of Texas, Houston Advanced Research Center) Clarkson, Judith (Consultant, Center for Global Studies, Consultant, Center for Global Studies

Inbunden

1 619 kr

A Man of Honour

W. H. Zawadzki, Abingdon School) Zawadzki, W. H. (Teacher of History, Teacher of History

Inbunden

3 319 kr