This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-...

This volume commemorates the life, work and foundational views of Kurt Godel (1906-78), most famo...

This volume commemorates the life, work and foundational views of Kurt Godel (1906-78), most famo...

 This book constitutes the joint refereed proceedings of the 17th International Workshop on ...

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published...

This is the first book on cut-elimination in first-order predicate logic from an algorithmic p...

This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famo...

This is the first book on cut-elimination in first-order predicate logic from an algorithmic p...

This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famo...

ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?c...

 This book constitutes the joint refereed proceedings of the 17th International Worksho...