Reductive logic and proof-searchDavid J. Pym

Reductive logic and proof-search

David J. Pym, Eike Ritter · 2004

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2004
Language: English
Series: Oxford Logic Guides
Publisher: Oxford University Press, USA
Editions: 5
Pages: 232
ISBN: 9780198526339

Data source: Wikidata

More by David J. Pym

The Semantics and Proof Theory of the Logic of Bunched ImplicationsDavid J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym · 2002

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)David J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

David J. Pym · 2002

Proofs, Search and Computation in General LogicDavid J. Pym

Proofs, Search and Computation in General Logic