Materias dentro de su búsqueda.
Mostrando 41 - 60 Resultados de 114 Para Buscar '"foundations of mathematics"', tiempo de consulta: 0.09s Limitar resultados
  1. 41
    por Börger, Egon 1946-
    Publicado 1989
    “…Studies in logic and The foundations of mathematics…”
    Libro
    Computability, complexity, logic
  2. 42
    Publicado 1977
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Handbook of mathematical logic
  3. 43
    por Benthem, Johan van, 1949-
    Publicado 1991
    “…Studies in logic and the foundations of mathematics ;…”
    Libro
    Language in action : categories, lambdas, and dynamic logic /
  4. 44
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Admissibility of logical inference rules
  5. 45
    por Kracht, Marcus
    Publicado 1999
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Tools and techniques in modal logic
  6. 46
    por Odifreddi, Piergiorgio, 1950-
    Publicado 1989
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Classical recursion theory
  7. 47
    por Ash, C. J.
    Publicado 2000
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Computable structures and the hyperarithmetical hierarchy
  8. 48
    por Arnold, A. (André), 1945-
    Publicado 2001
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Rudiments of [mu]-calculus
  9. 49
    por Hirsch, R. (Robin)
    Publicado 2002
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Relation algebras by games
  10. 50
    Publicado 2003
    “…Studies in logic and the foundations of mathematics,…”
    Libro
    Many-dimensional modal logics : theory and applications
  11. 51
    por Fraíssé, Roland
    Publicado 2000
    “…Studies in logic and the foundations of mathematics ;…”
    Libro
    Theory of relations /
  12. 52
    Publicado 1999
    “…Studies in logic and the foundations of mathematics ;…”
    Libro
    Handbook of computability theory /
  13. 53
    Publicado 1998
    “…Studies in logic and the foundations of mathematics ;…”
    Libro
    Handbook of recursive mathematics /
  14. 54
    Publicado 1998
    “…Studies in logic and the foundations of mathematics ;…”
    Libro
    Handbook of proof theory /
  15. 55
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Abstract set theory
  16. 56
    por Chang, Chen Chung, 1927-
    Publicado 1990
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Model Theory
  17. 57
    “…Studies in logic and the foundations of mathematics ;…”
    Libro
    The lambda calculus : its syntax and semantics
  18. 58
    por Fraenkel, Abraham A.
    Publicado 1973
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Foundations of set theory
  19. 59
    por Troelstra, Anne Sjerp
    Publicado 1988
    “…Studies in logic and the foundations of mathematics…”
    Libro
    Constructivism in mathematics : an introduction
  20. 60
    “…Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. .…”
    Enlace del recurso
    Enlace del recurso
    Advances in proof theory
Herramientas de búsqueda: RSS