Some Results in Aczel-Feferman Logic and Set Theory

Martin W. Bunder. Some Results in Aczel-Feferman Logic and Set Theory. Math. Log. Q., 28(19):269-276, 1982. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.