• Partial recursive functionals and effective operations

    1959, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-38

    ...Enthält: zwei Sonderdrucke des zusammen mit Daniel Lacombe und Joseph R. Shoenfield publizierten Artikels "Partial recursive functionals and effective operations" aus Constructivity in Mathematics,... ...Heyting, Amsterdam 1959 Lacombe, Daniel; Mathematiker, - 2016 Shoenfield, Joseph R.; Mathematiker, Logiker, 1927 - 2000... ...... ...Shoenfield, Joseph R....

  • Fonctionelles récursivement définissables et fonctionelles récursives

    1957, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-21

    ...Enthält: 2 Sonderdrucke des zusammen mit Daniel Lacombe und Joseph R. Shoenfield publizierten Artikels "Fonctionelles récursivement définissables et fonctionelles récursives" aus Académie des... ...... ...Shoenfield, Joseph R....

  • Effective operations and partial recursive functionals

    1957, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-28

    ...Enthält: eine Kopie vom Reprint (1960) des zusammen mit Daniel Lacombe und Joseph R. Shoenfield publizierten Artikels "Effective operations and partial recursive functionals" aus Summaries of Talks... ...Lacombe, Daniel; Mathematiker, - 2016 Shoenfield, Joseph R.; Mathematiker, Logiker, 1927 - 2000... ...... ...Shoenfield, Joseph R....

  • Number theoretic concepts and recursive well-orderings

    1959, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-33

    ...Enthält: zwei Sonderdrucke des zusammen mit Hao Wang und Joseph R. Shoenfield publizierten Artikels "Number theoretic concepts and recursive well-orderings" aus Archiv für Mathematische Logik und...

Your search has not returned any results.