5 found
Order:
  1.  23
    Different Notions of Constructivity — their Ontology.Amitabha Ghose - 1978 - Dialectica 32 (3‐4):245-253.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Free choice sequences I».Amitabha Ghose - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information. pp. 245.
     
    Export citation  
     
    Bookmark  
  3.  20
    Konstruktive Grundlagen der Logik.Amitabha Ghose - 1967 - Journal of Symbolic Logic 32 (4):518-518.
  4.  35
    Singular Propositions and Aristotle’s Conception of Logic.Amitabha Ghose - 1975 - International Philosophical Quarterly 15 (3):327-331.
  5. The length of proofs (').Amitabha Ghose - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information. pp. 41.
     
    Export citation  
     
    Bookmark