Reductive Logic and Proof-Search -- Proof Theory, Semantics, and Control

Name: Reductive Logic and Proof-Search -- Proof Theory, Semantics, and Control
Author: David J Pym

by David J Pym · 1 review · 2006

Reviewed by	Journal	Date	Access
Didier Galmiche	The Bulletin of Symbolic Logic	2006-06-01	Restricted

Also by Pym