Reductive Logic and Proof-search
Subtitle: Proof Theory, Semantics, and Control (Oxford Logic Guides, 45)
Series: Oxford Logic Guides
Publisher: Oxford University Press, USA
Published: May 28, 2004
Language: eng
Number of pages: 232
ISBN-13: 9780198526339
First sentence: Axiomatizations of logics as formal systems are usually formulated as calculi for deductive inference.