Aihe-ehdotuksia
Näytetään 1 - 5 yhteensä 5 tuloksesta haulle '', hakuaika: 0,01s Tarkenna hakua
  1. 1
    Recursive analysis.
    Kirja
    Tekijä Goodstein, R. L. (Reuben Louis)
    Julkaistu 1961
    Lisää suosikkeihin
    Tallennettuna:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Konferenssijulkaisu Kirja
    Julkaistu 1980
    Lisää suosikkeihin
    Tallennettuna:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Konferenssijulkaisu Kirja
    Julkaistu 1978
    Lisää suosikkeihin
    Tallennettuna:
  4. 4
    First-order dynamic logic /
    Kirja
    Tekijä Harel, David, 1950-
    Julkaistu 1979
    Lisää suosikkeihin
    Tallennettuna:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Konferenssijulkaisu Kirja
    Julkaistu 1977
    Lisää suosikkeihin
    Tallennettuna:
Työkalut: RSS-syöte – Lähetä haku sähköpostilla – Tallenna haku