Showing 1 - 20 results of 299 for search '"mathematical logic"', query time: 0.06s Refine Results
  1. 1

    Mathematical logic / by Tourlakis, George J.

    Published 2008
    CONNECT
    Electronic eBook
  2. 2

    Mathematical logic / by Turing, Alan, 1912-1954

    Published 2001
    CONNECT
    Electronic eBook
  3. 3

    Mathematical logic. by Kleene, Stephen Cole, 1909-

    Published 1967
    Book
  4. 4

    Mathematical logic by Shoenfield, Joseph R. 1927-

    Published 1967
    Book
  5. 5

    Mathematical logic : applications and theory / by Rubin, Jean E.

    Published 1990
    Book
  6. 6

    Mathematical logic /

    Published 1990
    Subjects:
    Conference Proceeding Book
  7. 7

    Mathematical logic. by Quine, W. V.

    Published 1951
    Book
  8. 8

    Mathematical logic / by Quine, W. V.

    Published 1981
    CONNECT
    Electronic eBook
  9. 9

    Mathematical logic / by Chiswell, Ian, 1948-

    Published 2007
    CONNECT
    Electronic eBook
  10. 10

    Reports on mathematical logic.

    Published 1973
    “…Reports on mathematical logic (Online)…”
    Full Text Availability
    Electronic Journal
  11. 11

    Annals of mathematical logic.

    “…Annals of mathematical logic (Online)…”
    Full Text Availability
    Electronic Journal
  12. 12

    Archive for mathematical logic.

    Published 1988
    “…Archive for mathematical logic (Online)…”
    Full Text Availability
    Electronic Journal
  13. 13

    Foundations of mathematical logic. by Curry, Haskell B. 1900-

    Published 1963
    Book
  14. 14

    Course of mathematical logic. by Fraïssé, Roland

    Published 1973
    Book
  15. 15

    Introduction to mathematical logic. by Church, Alonzo, 1903-

    Published 1956
    Book
  16. 16

    The elements of mathematical logic. by Rosenbloom, Paul C.

    Published 1950
    Book
  17. 17

    Mathematical logic and computation / by Avigad, Jeremy

    Published 2023
    CONNECT
    Electronic eBook
  18. 18

    Classical mathematical logic : the semantic foundations of logic / by Epstein, Richard L., 1947-

    Published 2006
    Table of Contents: “…Classical propositional logic -- Abstracting and axiomatizing classical propositional logic -- The language of predicate logic -- The semantics of classical predicate logic -- Substitutions and equivalences -- Equality -- Examples of formalization -- Functions -- The abstraction of models -- Axiomatizing classical predicate logic -- The number of objects in the universe of a model -- Formalizing group theory -- Linear orderings -- Second-order classical predicate logic -- The natural numbers -- The integers and rationals -- The real numbers -- One-dimensional geometry -- Two-dimensional Euclidean geometry -- Translations within classical predicate logic -- Classical predicate logic with non-referring names -- The Liar paradox -- On mathematical logic and mathematics -- Appendix: The completeness of classical predicate logic proved by Gödel's Method.…”
    CONNECT
    Electronic eBook
  19. 19

    Mathematical logic quarterly : MLQ.

    Published 1993
    “…Mathematical logic quarterly (Online)…”
    Full Text Availability
    Electronic Journal
  20. 20