Resultados de búsqueda - "LÓGICA MATEMÁTICA"

Limitar resultados
  1. 61

    Logic for computer science : foundations of automatic theorem proving por Gallier, Jean H.

    Nueva York : John Wiley and Sons, c1987
    Temas: “…LÓGICA MATEMÁTICA…”
    Consultar en el Cátalogo
    Libro
  2. 62

    Lógica, programación e inteligencia artificial por Kowalski, Robert

    Madrid : Díaz de Santos, 1986
    Temas: “…LÓGICA MATEMÁTICA…”
    Consultar en el Cátalogo
    Libro
  3. 63

    Introduction to mathematical logic por Mendelson, Elliott

    Boca Raton : CRC, c2010
    Temas: “…LÓGICA MATEMÁTICA…”
    Consultar en el Cátalogo
    Libro
  4. 64

    The logical basis for computer programming por Manna, Zohar

    Reading : [S.n.], c1985-1990
    Temas:
    Consultar en el Cátalogo
    Libro
  5. 65

    Elementos de lógica simbólica por Barreiro de Nudler, Telma

    Buenos Aires : Kapelusz, 1973.
    Temas: “…LOGICA MATEMATICA 8510…”
    Consultar en el Cátalogo
    Libro
  6. 66

    Mathematische Schriften por Leibniz, Gottfried Wilhelm

    Hildeshein (DE) : Olms, 1971
    Temas:
    Consultar en el Cátalogo
    Libro
  7. 67

    Acerca de la cuestión de la negación y de la estructura sintáctica profunda de las especies de juicios particulares y estrictos en la bivalencia y la tetravalencia por Offenberger, Niels

    Temas:
    Consultar en el Cátalogo
    Artículo
  8. 68

    Diálogos, contextos argumentativos, flujo de información y relevancia en la semántica de la lógica lineal por Rahman, Shahid

    Temas:
    Consultar en el Cátalogo
    Artículo
  9. 69

    Lógica simbólica / por Garrido, Manuel

    Madrid : Tecnos, 1997.
    Temas: “…Lógica matemática 15472…”
    Consultar en el Cátalogo
    Libro
  10. 70

    Formal logic / por Prior, A.N

    Oxford : Clarendon, 1955.
    Temas:
    Consultar en el Cátalogo
    Libro
  11. 71

    Sobre la representación de S4.3. por Bonelli, Eduardo

    1996
    Temas:
    Consultar en el Cátalogo
    Tesis
  12. 72

    Desenvolvimento sistemático de programas corretos : a abordagem denotacional por Martins, Raul César Baptista

    Campinas : UNICAMP, 1988
    Temas:
    Consultar en el Cátalogo
    Libro
  13. 73

    Relations and graphs : discrete mathematics for computer scientists por Schmidt, Gunther

    Berlín : Springer-Verlag, c1993
    Temas:
    Consultar en el Cátalogo
    Libro
  14. 74

    Models and ultraproducts : an introduction por Bell, J. L.

    Amsterdam : [S.n.], 1974
    Temas:
    Consultar en el Cátalogo
    Libro
  15. 75

    Introducción a la teoría de conjuntos por Oubiña, Lía

    Buenos Aires : EUDEBA, 1976
    Temas:
    Consultar en el Cátalogo
    Libro
  16. 76

    Educación corporal : Deporte, conjutos y matema: principios para una formalización desde la lógica matemática por Bravo, Juan José

    Temas:
    Consultar en el Cátalogo
    Enlace del recurso / Disponible en línea
    Tesis
  17. 77

    Lógica matemática elemental / por Mates, Benson

    Madrid : Tecnos, 1987.
    Temas:
    Consultar en el Cátalogo
    Libro
  18. 78

    Elementos de lógica formal / por Nuño, Juan Antonio

    Caracas : Ediciones de la Biblioteca, 1980.
    Temas:
    Consultar en el Cátalogo
    Libro
  19. 79

    Forma y modalidad : Una introducción al concepto de consecuencia lógica / por Gómez Torrente, Mario

    Buenos Aires : EUDEBA, 2000.
    Temas:
    Consultar en el Cátalogo
    Libro
  20. 80

    Introduction to symbolic logic and its applications / por Carnap, Rudolf

    New York : Dover, 1958.
    Temas:
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: