It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by Douglas Latimer
May 11, 2018 | History
Douglas Latimer / Lists

logic, set theory

57 items

Sorting by Sorted by: List Order | Last Modified
  • Cover of: The lady or the tiger? and other logic puzzles: including a mathematical novel that features Gödel's great discovery

    First published in 1982 11 editions — 5 previewable Cover of edition ladyortigeran00smul Cover of edition ladyortiger00smul Cover of edition lelivrequirendfo00smul Cover of edition damaczytygrysora00smul work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to the theory of sets

    First published in 1958 3 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A modern formal logic

    First published in 1964 2 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Symbolic logic

    First published in 1952 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematical logic

    First published in 1947 1 edition — 1 previewable work
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic, proof, and sets

    First published in 1982 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: First order mathematical logic

    First published in 1967 4 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Symbolic logic: an introduction.

    edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematical logic

    edition
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematical logic

    First published in 1967 3 editions — 2 previewable Cover of edition mathematicallogi00shoe_836 work
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic

    First published in 1963 9 editions — 2 previewable Cover of edition logic00salm work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic

    First published in 1976 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic

    First published in 1964 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Beginning logic

    First published in 1965 9 editions — 2 previewable Cover of edition beginninglogic00lemm work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Deductive logic

    First published in 1972 3 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Intentional logic

    First published in 1952 3 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Elementary logic

    First published in 1965 3 editions — 2 previewable Cover of edition elementarylogic0000mate work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of symbolic logic

    First published in 1948 3 editions — 2 previewable Cover of edition fundamentalsofsy00ambr work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic and scientific inquiry

    First published in 1968 4 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 100 Jeux Logiques

    First published in 1977 6 editions — 2 previewable Cover of edition 100jeuxlogiques0000pier work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic and philosophy

    First published in 1968 2 editions — 2 previewable Cover of edition logicphilosophys0000isem work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Sets and logic

    First published in 1971 2 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Essence of logic

    First published in 1997 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: What is mathematical logic?

    First published in 1990 3 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic Algebra and Database

    edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Language, proof, and logic

    First published in 2002 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Rudiments of logic

    First published in 1987 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Handbook of logic

    First published in 1954 2 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A concise introduction to logic

    First published in 1982 11 editions — 7 previewable Cover of edition conciseintroduct00hurl Cover of edition conciseintroduct00hurl_0 Cover of edition conciseintroduct0000hurl_z9g9 Cover of edition conciseintroduct0000hurl_x4a4 Cover of edition conciseintroduct0000hurl Cover of edition conciseintroduct0000hurl_b3v2 work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Symbolic logic and intelligent machines

    First published in 1959 3 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A mathematical introduction to logic

    First published in 1972 2 editions — 2 previewable Cover of edition mathematicalintr00ende_402 work
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Sets, logic, and axiomatic theories

    First published in 1961 3 editions — 2 previewable Cover of edition setslogicaxiomat00stol work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: First course in mathematical logic

    First published in 1964 2 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to logic and sets

    First published in 1958 1 edition — 1 previewable work
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A primer of formal logic

    First published in 1957 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: An introduction to mathematical logic

    First published in 1969 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to symbolic logic and its applications

    First published in 1958 6 editions — 3 previewable Cover of edition introductiontosy00carn Cover of edition introductiontosy00carn_483 work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Symbolic logic and mechanical theorem proving

    First published in 1973 2 editions — 1 previewable work
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic, or, The art of thinking

    work
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A commentary on Mill's Logic Book I of names and propositions

    First published in 1983 1 edition — 1 previewable work
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The tests of various kinds of truth: being a treatise of applied logic

    First published in 1891 1 edition — 1 previewable work
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Meaning and necessity: a study in semantics and modal logic

    First published in 1947 15 editions — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Grundlagen der Arithmetik: a logico-mathematical enquiry into the concept of number.

    First published in 1950 16 editions — 3 previewable Cover of edition foundationsofari00fregrich Cover of edition foundationsarith00freg_682 work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to the foundations of mathematics

    First published in 1952 4 editions — 3 previewable Cover of edition introductiontofo0000wild Cover of edition introductiontofo00wild work
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Truth, Deduction, and Computation

    First published in 1989 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Probabilities, problems, and paradoxes

    First published in 1972 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Reflections on reasoning

    First published in 1986 6 editions — 1 previewable work
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Readings in nonmonotonic reasoning

    First published in 1987 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A simple proof of a generalized Church-Rosser theorem

    First published in 1984 1 edition — 1 previewable work
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: On Boole

    First published in 2002 1 edition — 1 previewable work
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today

History

May 11, 2018 Edited by Douglas Latimer updated list seeds.
May 11, 2018 Edited by Douglas Latimer updated list seeds.
May 11, 2018 Edited by Douglas Latimer updated list seeds.
May 11, 2018 Edited by Douglas Latimer updated list seeds.
September 19, 2013 Created by Douglas Latimer Created new list.