Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 24 Para Buscar '', tiempo de consulta: 0.04s Limitar resultados
  1. 1
    Una lógica trivalorada para funciones recursivas parciales
    por Gavilanes Franco, Antonio
    Publicado 1990
    Conectar con la versión electrónica
    Libro electrónico
  2. 2
    Computer programming and formal systems
    Publicado 1963
    Libro
  3. 3
    The calculi of lambda-conversion
    por Church, Alonzo (1903- )
    Publicado 1965
    Libro
  4. 4
    Fonctions recursives
    por Grzegorczyk, Andrzej
    Publicado 1961
    Libro
  5. 5
    Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963
    Publicado 1965
    Libro
  6. 6
    Theory of formal systems
    por Smullyan, Raymond M.
    Publicado 1961
    Libro
  7. 7
    An introduction to the general theory of algorithms
    por Machtey, Michael
    Publicado 1979
    Libro
  8. 8
    The calculi of lambda-conversion
    por Church, Alonzo, 1903-1995
    Publicado 1985
    Libro
  9. 9
    Computability theory : an introduction
    por Jones, Neil D.
    Publicado 1973
    Libro
  10. 10
    Recursive functionals
    por Sanchís, Luis E.
    Publicado 1992
    Libro
  11. 11
    Theory of recursive functions and effective computability
    por Rogers, H. 1926-
    Publicado 1988
    Libro
  12. 12
    Reflexive structures : : an introduction to computability theory
    por Sanchís, Luis E.
    Publicado 1988
    Libro
  13. 13
    Elementary induction on abstract structures
    por Moschovakis, Yiannis N.
    Publicado 1974
    Libro
  14. 14
    Super-recursive algorithms
    por Burgin, M. S.
    Publicado 2005
    Libro
  15. 15
    Handbook of recursive mathematics
    Publicado 1998
    Libro
  16. 16
    Recursion theory
    por Shoenfield, Joseph R. 1927-2000
    Publicado 1993
    Libro
  17. 17
    Computability : : an introduction to recursive function theory
    por Cutland, Nigel J.
    Publicado 1989
    Libro
  18. 18
    Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
    por Goodstein, R. L.
    Publicado 1964
    Libro
  19. 19
    Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
    Publicado 1971
    Libro
  20. 20
    Handbook of recursive mathematics
    Publicado 1998
    Libro
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda