On constructible falsity in the constructive logic with strong negation

Volume 6 / 1958

Andrzej Białynicki-Birula, H. Rasiowa Colloquium Mathematicum 6 (1958), 287-310 DOI: 10.4064/cm-6-1-287-310

Authors

  • Andrzej Białynicki-Birula
  • H. Rasiowa

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image