matthias baaz
Methods of Cut-Elimination
EbookSofort lieferbarThis book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cu...
Kurt Godel and the Foundations of Mathematics
EbookSofort lieferbarThis volume commemorates the life, work and foundational views of Kurt Godel (1906-78), most famo...
Logic Colloquium ’01
EbookSofort lieferbarSince their inception, the Perspectives in Logic and Lecture Notes in Logic series have published...
Kurt Godel and the Foundations of Mathematics
EbookSofort lieferbarThis volume commemorates the life, work and foundational views of Kurt Godel (1906-78), most famo...
Computer Science Logic
EbookSofort lieferbarThis book constitutes the joint refereed proceedings of the 17th International Workshop on Comput...
Logic for Programming, Artificial Intelligence, and Reasoning
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 9th International Conference on Logic for P...
Methods of Cut-Elimination
BuchBezug 11-15This is the first book on cut-elimination in first-order predicate logic from an algorithmic p...
Kurt Godel and the Foundations of Mathematics
TaschenbuchBezug 11-15This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famo...
Methods of Cut-Elimination
TaschenbuchBezug 11-15This is the first book on cut-elimination in first-order predicate logic from an algorithmic p...
Logic for Programming, Artificial Intelligence, and Reasoning
TaschenbuchBezug 11-15ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?c...
Computer Science Logic
TaschenbuchBezug 11-15This book constitutes the joint refereed proceedings of the 17th International Worksho...
Kurt Godel and the Foundations of Mathematics
BuchBezug 11-15This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famo...
- 1