Topaicí molta laistigh de do chuardach.
1 - 5 toradh á dtaispeáint as 5 toradh san iomlán ar an gcuardach '', am iarratais: 0.01s Beachtaigh na torthaí
  1. 1
    Recursive analysis.
    LEABHAR
    de réir Goodstein, R. L. (Reuben Louis)
    Foilsithe / Cruthaithe 1961
    Cuir le mo chuid Ceanán
    Sábháilte in:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Imeacht comhdhála LEABHAR
    Foilsithe / Cruthaithe 1980
    Cuir le mo chuid Ceanán
    Sábháilte in:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Imeacht comhdhála LEABHAR
    Foilsithe / Cruthaithe 1978
    Cuir le mo chuid Ceanán
    Sábháilte in:
  4. 4
    First-order dynamic logic /
    LEABHAR
    de réir Harel, David, 1950-
    Foilsithe / Cruthaithe 1979
    Cuir le mo chuid Ceanán
    Sábháilte in:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Imeacht comhdhála LEABHAR
    Foilsithe / Cruthaithe 1977
    Cuir le mo chuid Ceanán
    Sábháilte in:
Uirlisí cuardaigh: Faigh fotha RSS – Seol an cuardach seo mar r-phost – Sábháil an cuardach