Improving Proof Search in Intuitionistic Propositional Logic

Shelfclass_id	4.B.3
Sortkey	WEICH, KLAUS
Authors	Klaus Weich
Title	Improving Proof Search in Intuitionistic Propositional Logic
Publisher	Logos Verlag
Year	2001
Languages	eng
Isbn	3897227673
Description	132 pp.
Record date	20090707
Location	Berlin