Advances in Linear Logic (London Mathematical Society Lecture Note Series)

advances in linear logic (london mathematical society lecture note series)

more information about Advances in Linear Logic (London Mathematical Society Lecture Note Series)

Advances in Linear Logic (London Mathematical Society Lecture Note Series)

Editorial Reviews
Book Description
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.

Advances in Linear Logic (London Mathematical Society Lecture Note Series),Jean-Yves Girard,Yves Lafont,Laurent Regnier,N. J. Hitchin,Cambridge University Press,0521559618,Congresses,General,Logic,Logic, Symbolic and mathematic,Logic, Symbolic and mathematical,Mathematical And Symbolic Logic,Mathematics,Philosophy Of Mathematics,Science,Science/Mathematics,Logic, Symbolic and mathematical--Congresses,Mathematical logic,Mathematics / Combinatorics

Discount Books:

  1. After the Science Wars
  2. An Investigative Approach to Industrial Hygiene : Sleuth at Work (Industrial Health & Safety)
  3. Aspartic ProteinasesPhysiology and Pathology
  4. A Species in Denial
  5. Bayesian Approach to Intrepreting Archaeological Data (Statistics in Practice)
  6. Biochemistry By Diagrams
  7. By His Word: A Wake-up Call to America's Churches
  8. Case Studies in Biometry
  9. Chemical Reactor Design and Operation, 2E
  10. Chiral Algebras (Colloquium Publications (Amer Mathematical Soc))

Discount Books

Discount Books

Recommended Books

  1. Houses of Mexico : Origins and Traditions
  2. Los misterios de la Luna Roja vol. 1 : Mysteries of the Red Moon vol. 1
  3. Federal Accounting Handbook: Policies, Standards, Procedures, Practices
  4. Introduction to Algorithms, Second Edition
  5. Improving Organizational Performance : A Practical Guidebook for the Human Services Field
  6. Gamma 2001 : Gamma-Ray Astrophysics 2001, Baltimore, MD, USA, 4-6 April, 2001
  7. Fossils at a Glance
  8. International School of Heavy Ion Physics: 4th Course: Exotic Nuclei
  9. Domina
  10. Exploring the Pastoral Epistles
  11. Coin Banks by Banthrico*t
  12. Feng Shui
  13. Fortress 9: English Civil War Fortifications
  14. Cataclysmic Variables
  15. Frommer's Austria's Best-Loved Driving Tours