Return to search

Natural deduction; a proof-theoretical study.

Akademisk avhandling--Stockholm. Universitet. / Bibliography: p. [106]-109.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/624578390
Date January 1900
CreatorsPrawitz, Dag.
PublisherStockholm, Almqvist & Wiksell
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0019 seconds