Suggested Topics within your search.
Showing 1,621 - 1,640 results of 2,552 for search '"LÓGICA"', query time: 0.04s Refine Results
  1. 1621
    Topology via logic /

    Topology via logic / by Vickers, Steven

    Published 1996
    Subjects: “…Lógica matemática.…”
    Book
  2. 1622
    Temporal logic of programs /

    Temporal logic of programs / by Kröger, Fred, 1945-

    Published 1987
    Subjects: “…Lógica matemática.…”
    Book
  3. 1623
    Logic for applications /

    Logic for applications / by Nerode, Anil, 1932-

    Published 1997
    Subjects: “…Lógica matemática.…”
    Book
  4. 1624
    Basic category theory for computer scientists /

    Basic category theory for computer scientists / by Pierce, Benjamin C.

    Published 1991
    Subjects: “…Lógica matemática.…”
    Book
  5. 1625
    Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /

    Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /

    Published 1990
    Subjects: “…Lógica matemática.…”
    Conference Proceeding Book
  6. 1626
    Gödel's incompleteness theorems /

    Gödel's incompleteness theorems / by Smullyan, Raymond M.

    Published 1992
    Subjects: “…Lógica matemática.…”
    Book
  7. 1627
    Computing in horn clause theories.

    Computing in horn clause theories. by Padawitz, Peter

    Published 1988
    Subjects: “…Lógica matemática.…”
    Book
  8. 1628
    Basic simple type theory /

    Basic simple type theory / by Hindley, James Roger, 1939-

    Published 1997
    Subjects:
    Book
  9. 1629
    Theory of logical calculi : basic theory of consequence operators /

    Theory of logical calculi : basic theory of consequence operators / by Wójcicki, Ryszard

    Published 1988
    Subjects: “…Lógica matemática.…”
    Book
  10. 1630
    Deduction and declarative programming /

    Deduction and declarative programming / by Padawitz, Peter, 1953-

    Published 1992
    Subjects: “…Lógica y significado de programas.…”
    Book
  11. 1631
    Handbook of formal languages /

    Handbook of formal languages /

    Published 1997
    Subjects: “…Lógica matemática.…”
    Book
  12. 1632
    Recursion theory for metamathematics /

    Recursion theory for metamathematics / by Smullyan, Raymond M.

    Published 1993
    Subjects: “…Lógica matemática.…”
    Book
  13. 1633
    Computation as logic /

    Computation as logic / by Lalement, René

    Published 1993
    Subjects: “…Lógica matemática.…”
    Book
  14. 1634
    Predicate calculus and program semantics /

    Predicate calculus and program semantics / by Dijkstra, Edsger Wybe, 1930-2002

    Published 1990
    Subjects: “…Lógica y significado de programas.…”
    Book
  15. 1635
    The logic of partial information /

    The logic of partial information / by Nait Abdallah, Areski, 1950-

    Published 1995
    Subjects: “…Lógica matemática.…”
    Book
  16. 1636
    Fuzzy logic for the management of uncertainty /

    Fuzzy logic for the management of uncertainty /

    Published 1992
    Subjects: “…Lógica matemática.…”
    Book
  17. 1637
    Iteration theories : the equational logic of iterative processes /

    Iteration theories : the equational logic of iterative processes / by Bloom, Stephen L., 1940-2010

    Published 1993
    Subjects: “…Lógica y significado de programas.…”
    Book
  18. 1638
    Matemática discreta y lógica /

    Matemática discreta y lógica / by Grassmann, Winfried Karl

    Published 1997
    Subjects:
    Book
  19. 1639
    El problema antinómico de la fundamentación de una lógica pura /

    El problema antinómico de la fundamentación de una lógica pura / by Avelino, Andrés, 1900-1974

    Published 1951
    Subjects: “…LOGICA 160…”
    Book
  20. 1640
    L'ancienne et la nouvelle logique /

    L'ancienne et la nouvelle logique / by Carnap, Rudolf, 1891-1970

    Published 1933
    Subjects: “…LOGICA MATEMATICA 1443…”
    Book

Search Tools: