Return to search

Improving proof search in intuitionistic propositional logic /

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

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/469325406
Date January 1900
CreatorsWeich, Klaus.
PublisherBerlin : Logos,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds