Proofs, Search and Computation in General LogicDavid J. Pym

Proofs, Search and Computation in General Logic

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

Language: English
Publisher: Cambridge University Press
Editions: 1
ISBN: 9780521450577

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

Reductive logic and proof-searchDavid J. Pym

Reductive logic and proof-search

David J. Pym · 2004

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