A reduction of the axioms for the theory of prepositional types

Volume 52 / 1963

P. Andrews Fundamenta Mathematicae 52 (1963), 345-350 DOI: 10.4064/fm-52-3-345-350

Authors

  • P. Andrews

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image