Improving proof search in intuitionistic propositional logic /

Description

Diss.--Mathematik--München--Ludwig-Maximilians Universität, 2001. / Notes bibliogr. Bibliogr. 1 p. Index.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb39077309p

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/469325406
Date	January 1900
Creators	Weich, Klaus.
Publisher	Berlin : Logos,
Source Sets	OCLC
Language	English
Detected Language	English