Works by Daniel Lacombe

( view other items matching `Daniel Lacombe`, view all matches )
6 found
Order:
  1.  9
    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.  11
    Quelques procédés de définition en topologie récursive.Daniel Lacombe - 1959 - Journal of Symbolic Logic 31 (1):129--158.
    $46.18 used   (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. 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.
    $46.18 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark   1 citation  
  4.  11
    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.  13
    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)  
     
    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.
     
    Export citation  
     
    Bookmark