Switch to: Citations

References in:

Constructive assertions in an extension of classical mathematics

Vladimir Lifschitz

Journal of Symbolic Logic 47 (2):359-387 (1982)

Add references

You must login to add references.

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details Logic and Philosophy of Logic Direct download Export citation Bookmark 220 citations
Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.details Logic and Philosophy of Logic Direct download Export citation Bookmark 66 citations
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.details Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download Export citation Bookmark 200 citations
Handbook of Mathematical Logic.Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.details Logic and Philosophy of Logic Direct download Export citation Bookmark 28 citations
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details Logic and Philosophy of Logic Direct download Export citation Bookmark 595 citations
Introduction to mathematical logic, vol. I.A. Church - 1958 - Revue Philosophique de la France Et de l'Etranger 148:118-119.details Continental Philosophy Export citation Bookmark 25 citations

1