Reviews matching “Reductive Logic and Proof-Search -- Proof Theory, Semantics, and Control”

1 result

BookAuthorReviewerJournalDate
Reductive Logic and Proof-Search -- Proof Theory, Semantics, and Control David J Pym Didier Galmiche The Bulletin of Symbolic Logic 2006-06-01

Open this search with filters