Identity and existence in intuitionistic logic

[1]  D. Scott,et al.  Sheaves and logic , 1979 .

[2]  R. Statman,et al.  Equality in the Presence of Apartness , 1979 .

[3]  R. Grayson.  Heyting-valued models for intuitionistic set theory , 1979 .

[4]  Michael P. Fourman,et al.  Sheaf models for analysis , 1979 .

[5]  Craig Smorynski.  On Axiomatizing Fragments , 1977, J. Symb. Log..

[6]  H. Keisler,et al.  Handbook of mathematical logic , 1977 .

[7]  M. Fourman.  The Logic of Topoi , 1977 .

[8]  M. Makkai,et al.  First order categorical logic , 1977 .

[9]  A. S. Troelstra,et al.  Aspects of Constructive Mathematics , 1977 .

[10]  Christian Juul Mikkelsen,et al.  Lattice theoretic and logical aspects of elementary topoi , 1976 .

[11]  Descriptions in Intuitionistic Logic , 1975 .

[12]  R. Diaconescu.  Axiom of choice and complementation , 1975 .

[13]  D. Gabbay.  On 2nd order intuitionistic propositional calculus with full comprehension , 1974 .

[14]  Dana S. Scott,et al.  Existence and Description in Formal Logic , 1973 .

[15]  Craig Smorynski.  Elementary Intuitionistic Theories , 1973, J. Symb. Log..

[16]  C. Smorynski.  Applications of Kripke models , 1973 .

[17]  A. Troelstra.  Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .

[18]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[19]  J. Gray.  The meeting of the Midwest Category Seminar in Zurich August 24–30, 1970 , 1971 .

[20]  Bertrand Russell,et al.  Bertrand Russell: Philosopher of the Century , 1967 .

[21]  J. Isbell,et al.  Reports of the Midwest Category Seminar I , 1967 .

[22]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[23]  L. Henkin.  A theory of prepositional types , 1963 .

[24]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[25]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.