On the Gentzen theorem

Volume 48 / 1959

H. Rasiowa, Roman Sikorski Fundamenta Mathematicae 48 (1959), 59-69 DOI: 10.4064/fm-48-1-59-69

Authors

  • H. Rasiowa
  • Roman Sikorski

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image