It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu

list

logic, set theory

57 items

Sorting by

List Order

 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

    Cover of edition ladyortigeran00smul Cover of edition ladyortiger00smul Cover of edition lelivrequirendfo00smul Cover of edition damaczytygrysora00smul First published in 1982 — 11 editions 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 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 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 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

    Cover of edition mathematicallogi0000unse Cover of edition mathematicallogi00quin Cover of edition mathematicallogi0000quin Cover of edition mathematicallogi00quin_635 Cover of edition mathematicallogi00quin_769 First published in 1940 — 20 editions 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 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 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

    Cover of edition mathematicallogi00shoe_836 First published in 1967 — 3 editions 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

    Cover of edition logic00salm First published in 1963 — 9 editions 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 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 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

    Cover of edition beginninglogic0000lemm First published in 1965 — 9 editions 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 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 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

    Cover of edition elementarylogic0000mate First published in 1965 — 3 editions 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

    Cover of edition fundamentalsofsy0000unse First published in 1948 — 3 editions 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 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

    Cover of edition 100jeuxlogiques0000pier First published in 1977 — 6 editions 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

    Cover of edition logicphilosophys00isem First published in 1968 — 2 editions 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 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 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 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 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 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 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

    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 First published in 1982 — 11 editions 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: Symbolic logic and intelligent machines

    First published in 1959 — 3 editions 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

    Cover of edition mathematicalintr00ende_402 First published in 1972 — 2 editions 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

    Cover of edition setslogicaxiomat00stol First published in 1961 — 3 editions 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 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 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 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 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

    Cover of edition introductiontosy00carn Cover of edition introductiontosy00carn_483 First published in 1958 — 6 editions 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 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 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 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 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.

    Cover of edition foundationsofari0000freg_y3a4 Cover of edition foundationsarith00freg_682 First published in 1950 — 16 editions 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

    Cover of edition introductiontofo0000wild Cover of edition introductiontofo00wild First published in 1952 — 4 editions 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 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 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 — 11 editions 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 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 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 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

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.