Eike Ritter – författare

Visar alla böcker från författaren Eike Ritter. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Reductive Logic and Proof-search

   Proof Theory, Semantics, and Control

   Av David J. Pym, Eike Ritter

   Inbunden, 2004

   3223 kr

   Lägg i varukorg

   This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, …