Download PDF - Undecidability of intuitionistic theories formulated with the apartness relationAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

Undecidability of intuitionistic theories formulated with the apartness relation

Authors 1

Affiliations

  1. Ramat-Gani, Israel
Fundamenta Mathematicae
1977/97/1
Export to PBN, Opens in new tab
Pages:
17-36
Main language of publication
English
Published
1977
Exact and natural sciences