11 found
Order:
  1.  84
    On the Meanings of the Logical Constants and the Justifications of the Logical Laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.
  2. Truth of a Proposition, Evidence of a Judgement, Validity of a Proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.
  3.  45
    Verificationism Then and Now.Per Martin-löf - 1995 - Vienna Circle Institute Yearbook 3:187-196.
    The term verificationism is used in two different ways: the first is in relation to the verification principle of meaning, which we usually and rightly associate with the logical empiricists, although, as we now know, it derives in reality from Wittgenstein, and the second is in relation to the theory of meaning for intuitionistic logic that has been developed, beginning of course with Brouwer, Heyting and Kolmogorov in the twenties and early thirties, but in much more detail lately, particularly in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  4. An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.
     
    Export citation  
     
    Bookmark   15 citations  
  5. The Hilbert-Brouwer Controversy Resolved?Per Martin-Löf - 2008 - In ¸ Itevanatten2008. North Holland. pp. 243-256.
     
    Export citation  
     
    Bookmark   3 citations  
  6. Notes on Constructive Mathematics.Per Martin-Löf - 1970 - Stockholm, Almqvist & Wiksell.
  7.  48
    The Literature on von Mises' Kollektivs Revisited.Per Martin-löf - 1969 - Theoria 35 (1):12-37.
  8.  9
    Comments on Prof. Kazuyuki Nomoto's Paper.Per Martin-Lof - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):98-99.
  9. Colog-88 International Conference on Computer Logic, Tallinn, Ussr, December 12-16, 1988 : Proceedings.Per Martin-löf & G. E. Mints - 1990
     
    Export citation  
     
    Bookmark  
  10. ¸ Itevanatten2008.Per Martin-Löf - 2008 - North Holland.
    No categories
     
    Export citation  
     
    Bookmark  
  11. ¸ Iterose1975.Per Martin-Löf - 1975 - North Holland.
    No categories
     
    Export citation  
     
    Bookmark