Equational logic and theories in sentential languages

Volume 29 / 1974

Roman Suszko Colloquium Mathematicum 29 (1974), 19-23 DOI: 10.4064/cm-29-1-19-23

Authors

  • Roman Suszko

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image