6 found
Order:
  1.  7
    Ensembles Récursivement Mesurable Et Ensembles Récursivement Ouverts Ou Fermés.Georg Kreisel & Daniel Lacombe - 1966 - Journal of Symbolic Logic 31 (1):133-133.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  5
    Quelques Procédés de Définition En Topologie Récursive.Daniel Lacombe - 1959 - In A. Heyting (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 129--158.
  3.  8
    N. A. Šanin. Nékotoryé voprosy matématičéskogo analiza υ svété konstruktivnoj logiki . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 27–36. [REVIEW]Daniel Lacombe - 1959 - Journal of Symbolic Logic 24 (1):54-54.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  4.  5
    Sur les Possibilités d'Extension de la Notion de Fonction Récursive aux Fonctions d'Une au Plusiers Variables Réelles.Daniel Lacombe & G. Bouligand - 1960 - Journal of Symbolic Logic 25 (3):286-287.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Quelques Procedes de Definition En Topologffi Recursive.Daniel Lacombe - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 24--129.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6. Review: N. A. Sanin, Einige Fragen der Analysis im Lichte der Konstruktiven Logik. [REVIEW]Daniel Lacombe - 1959 - Journal of Symbolic Logic 24 (1):54-54.
    Translate
     
     
    Export citation  
     
    Bookmark