Integrating intuitionistic and classical theories

Volume 112 / 1981

E. López-Escobar Fundamenta Mathematicae 112 (1981), 125-140 DOI: 10.4064/fm-112-2-125-140

Authors

  • E. López-Escobar

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image