Synthese

, Volume 73, Issue 3, pp 407–420 | Cite as

Truth of a proposition, evidence of a judgement, validity of a proof

  • Per Martin-Löf

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company 1987

Authors and Affiliations

  • Per Martin-Löf
    • 1
  1. 1.Department of MathematicsUniversity of StockholmStockholmSweden

Personalised recommendations