Proof Theory and Meaning

This publication has 40 references indexed in Scilit:

• Realizability and intuitionistic logic
  Synthese, 1984
• Recursive models for constructive set theories
  Annals of Mathematical Logic, 1982
• Prior and Belnap
  Theoria, 1982
• Realism
  Synthese, 1982
• The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles
  Published by Elsevier ,1982
• THE DYNAMICS OF INTERPRETATION *
  Journal of Semantics, 1982
• What is Logic?
  The Journal of Philosophy, 1979
• Interpretations of Quantifiers
  Mind, 1979
• Truth and meaning
  Synthese, 1967
• Tonk, Plonk and Plink
  Analysis, 1962