Search Results

Suggested Topics within your search.
Refine Results
  1. 1
    What is mathematical logic?

    What is mathematical logic?

    Published 1972
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 2
    Logic, proof, and sets

    Logic, proof, and sets by Bittinger, Marvin L

    Published 1982
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Simply logical intelligent reasoning by example

    Simply logical intelligent reasoning by example by Flach, Peter A

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings

    COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings

    Published 1990
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    Vivid Logic Knowledge-Based Reasoning with Two Kinds of Negation

    Vivid Logic Knowledge-Based Reasoning with Two Kinds of Negation by Wagner, G. 1957- Gerd

    Published 1994
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  6. 6
    Inconsistent mathematics

    Inconsistent mathematics by Mortensen, Chris

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    Logic for applications

    Logic for applications by Nerode, Anil 1932-

    Published 1993
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    An introduction to mathematical logic

    An introduction to mathematical logic by Hodel, Richard E

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 9
    Techniques of deductive inference

    Techniques of deductive inference by Leblanc, Hugues 1924-

    Published 1966
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 10
    A programming logic with an introduction to the PL/CV verifier

    A programming logic with an introduction to the PL/CV verifier by Constable, R. L. Robert L

    Published 1978
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 11
    Foundations of computing system development with set theory and logic

    Foundations of computing system development with set theory and logic by Scheurer, Thierry

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  12. 12
    Logic from computer science proceedings of a ... held November 13-17, 1989

    Logic from computer science proceedings of a ... held November 13-17, 1989

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 13
    The logic of partial information

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

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 14
    ASAS BERMATIK DAN BERTEORI SET BAGI MATEMATIK BAHAGIAN PERTAMA PENDEKATAN MODEN TERHADAP MATEMATIK TULEN

    ASAS BERMATIK DAN BERTEORI SET BAGI MATEMATIK BAHAGIAN PERTAMA PENDEKATAN MODEN TERHADAP MATEMATIK TULEN by Zulauf, Achim

    Published 1992
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  15. 15
    From symbolic logic-- to mathematical logic

    From symbolic logic-- to mathematical logic by Silver, Charles L

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  16. 16
    Computation as logic

    Computation as logic by Lalement, Rene

    Published 1993
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 17
    Logic and structured design for computer programmers

    Logic and structured design for computer programmers by Rood, Harold J

    Published 1985
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  18. 18
    Intensional logic and the metaphysics of intentionality

    Intensional logic and the metaphysics of intentionality by Zalta, Edward N. 1952-

    Published 1988
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  19. 19
    Finite automata, formal logic, and circuit complexity

    Finite automata, formal logic, and circuit complexity by Straubing, Howard 1952-

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  20. 20
    First-order logic and automated theorem proving

    First-order logic and automated theorem proving by Fitting, Melvin 1942-

    Published 1996
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: