Search Results

Suggested Topics within your search.
Refine Results
  1. 1
    Advanced work in English /

    Advanced work in English / by Parker,C. R. E. (Colin Rodwell Eric)

    Published 1967
    Book

    Save to List
    Saved in:
  2. 2
    Computability : computable functions, logic, and the foundations of mathematics /

    Computability : computable functions, logic, and the foundations of mathematics / by Epstein, Richard L.

    Published 1989
    Book

    Save to List
    Saved in:
  3. 3
    The computer modelling of mathematical reasoning

    The computer modelling of mathematical reasoning by Bundy, Alan

    Published 1983
    Book

    Save to List
    Saved in:
  4. 4
    A course in mathematical logic

    A course in mathematical logic by Bell, J. L. (John Lane)

    Published 1977
    Book

    Save to List
    Saved in:
  5. 5
    Direct and converse theorems : the elements of symbolic logic /

    Direct and converse theorems : the elements of symbolic logic / by Gradshtein, I. S.

    Published 1963
    Book

    Save to List
    Saved in:
  6. 6
    Discrete mathematics : logic and structures /

    Discrete mathematics : logic and structures /

    Published 1990
    Book

    Save to List
    Saved in:
  7. 7
    Elements of logic and foundations of mathematics in problems /

    Elements of logic and foundations of mathematics in problems / by Wiktor, Marek

    Published 1982
    Book

    Save to List
    Saved in:
  8. 8
    Elements of the theory of computation

    Elements of the theory of computation by Lewis, Harry R.

    Published 1981
    Book

    Save to List
    Saved in:
  9. 9
    Equational logic as a programming language

    Equational logic as a programming language by O'Donnell, Michael J., 1952-

    Published 1985
    Book

    Save to List
    Saved in:
  10. 10
    A first course in formal logic and its applications in computer science /

    A first course in formal logic and its applications in computer science / by Dowsing, Roy

    Published 1986
    Book

    Save to List
    Saved in:
  11. 11
    Formal methods in artificial intelligence /

    Formal methods in artificial intelligence / by Ramsay, Allan, 1953-

    Published 1988
    Book

    Save to List
    Saved in:
  12. 12
    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
    Book

    Save to List
    Saved in:
  13. 13
    Fuzzy logic technology and applications I /

    Fuzzy logic technology and applications I /

    Published 1994
    Book

    Save to List
    Saved in:
  14. 14
    How to read and do proofs an introduction to mathematical thought process

    How to read and do proofs an introduction to mathematical thought process by Solow, Daniel

    Published 1982
    Book

    Save to List
    Saved in:
  15. 15
    Introduction to mathematical logic

    Introduction to mathematical logic by Mendelson, Elliott

    Published 1979
    Book

    Save to List
    Saved in:
  16. 16
    An introduction to mathematical logic and type theory : to truth through proof /

    An introduction to mathematical logic and type theory : to truth through proof / by Andrews, P. B. (Peter Bruce), 1937-

    Published 1986
    Book

    Save to List
    Saved in:
  17. 17
    An introduction to modern mathematics /

    An introduction to modern mathematics / by Monjallon, Albert

    Published 1967
    Book

    Save to List
    Saved in:
  18. 18
    Introduction to symbolic logic /

    Introduction to symbolic logic / by Smith, Karl J.

    Published 1991
    Book

    Save to List
    Saved in:
  19. 19
    Introduction to the foundations of mathematics /

    Introduction to the foundations of mathematics / by Wilder, Raymond Louis, 1896-

    Published 1965
    Book

    Save to List
    Saved in:
  20. 20
    The language of logic /

    The language of logic / by Freudenthal, Hans, 1905-

    Published 1966
    Book

    Save to List
    Saved in:

Search Tools: