Works by D. Lacombe

( view other items matching `D. Lacombe`, view all matches )
7 found
Order:
Disambiguations
Daniel Lacombe [15]D. Lacombe [1]Dany Lacombe [1]
  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.
    $47.89 used   (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  29
    Effective Operations and Partial Recursive Functionals.G. Kriesel, D. Lacombe, J. Shoenfield, G. Kreisel & J. R. Shoenfield - 1966 - Journal of Symbolic Logic 31 (2):261-262.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. 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.
    $47.89 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark   1 citation  
  5.  10
    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  
  6.  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  
  7. 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