|
|
BC108 .S8 : Strawson, P. F.
|
|
|
Introduction to logical theory.
Moore Stacks:Available
|
Book
|
1952
|
|
BC108.S8 I68 1963 : Strawson, P. F.
|
|
|
Introduction to logical theory / by P. F. Strawson.
Moore Stacks:Available
|
Book
|
1963
|
|
BC108 .S83 1961 : Stebbing, L. Susan
|
|
|
Thinking to some purpose / L. Susan Stebbing.
Moore Stacks:Available
|
Book
|
1939
|
|
BC108 .S85 : Suppes, Patrick,
|
|
|
Introduction to logic.
Moore Stacks:Available
|
Book
|
1957
|
|
BC108 .S9 1955 : Swabey, Marie Collins,
|
|
|
Logic and nature.
Moore Stacks:Available
|
Book
|
|
|
BC108 .T48 1932 : Thouless, Robert H.
|
|
|
Straight and crooked thinking / by Robert H. Thouless.
Moore Stacks:Available
|
Book
|
1932
|
|
BC108 .T48 1950 : Thouless, Robert H.
|
|
|
How to think straight.
Moore Stacks:Available
|
Book
|
1950
|
|
BC108 .T66 1999eb : Tomassi, Paul,
|
|
|
Logic / Paul Tomassi.
|
Bestseller
|
1999
|
|
BC114 .B43 2011eb : Beckermann, Ansgar,
|
|
|
Einführung in die Logik / Ansgar Beckermann.
|
Bestseller
|
2011
|
|
BC121 .B2 1975 : Baldwin, James Mark,
|
|
|
Thought and things : a study of the development and meaning of thought or genetic logic / by James Ma
Moore Stacks:Available
|
Book
|
1975
|
|
BC128 .H45 1994 : Heil, John.
|
|
|
First-order logic : a concise introduction / John Heil.
Moore Stacks:Available
|
Book
|
1994
|
|
BC128 .H85 1971 : Hunter, Geoffrey.
|
|
|
Metalogic: an introduction to the metatheory of standard first order logic.
Moore Stacks:Available
|
Book
|
1971
|
|
BC128 .M36 2011eb : Mann, Allen L.
|
|
|
Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Seven
|
Bestseller
|
2011
|
|
BC128 .P55 1993
|
|
|
A philosophical companion to first-order logic / edited, with an overview, by R.I.G. Hughes.
Moore Stacks:Available
|
Book
|
1993
|
|
BC128 .V33 2007eb : Väänänen, J.
|
|
|
Dependence logic : a new approach to independence friendly logic / Jouko Väänänen.
|
Bestseller
|
2007
|
|
BC129 .L34 2003eb : Lambert, Karel,
|
|
|
Free logic : selected essays / Karel Lambert.
|
Bestseller
|
2003
|
|
BC135
|
|
|
Neutrosophic computing and machine learning : book series. vol 4.
|
Bestseller
|
2018
|
Neutrosophic logic : the revolutionary logic in science and philosophy : proceedings of the national
|
Bestseller
|
2018
|
El triángulo lógico. Una ecuación didáctica emergente para aprender metodología de la investigación.
|
Bestseller
|
2020
|
Universal logic through the looking-glass : reflections on logical pluralism in the light of culture
|
Bestseller
|
2015
|
|
BC135 .A3 : Ackermann, W.
|
|
|
Solvable cases of the decision problem / W. Ackermann.
Moore Stacks:Available
|
Book
|
1954
|
|
BC135 .A6 1962 : Ambrose, Alice,
|
|
|
Fundamentals of symbolic logic / Alice Ambrose and Morris Lazerowitz.
Moore Stacks:Available
|
Book
|
1962
|
|
BC135 .B4413 : Beth, Evert Willem.
|
|
|
Mathematical epistemology and psychology / Evert W. Beth and Jean Piaget. Translated from the French
Moore Stacks:Available
|
Book
|
1966
|
|
BC135 .B473 1997eb : Bostock, David.
|
|
|
Intermediate logic / David Bostock.
|
Bestseller
|
1997
|
|
BC135 .B6 1940 : Boole, George,
|
|
|
Collected logical works / George Boole.
Moore Stacks:Available
|
Book
|
1940
|
|
BC135 .B7 1854b : Boole, George,
|
|
|
An investigation of the laws of thought : on which are founded the mathematical theories of logic and
Moore Stacks:Available
|
Book
|
1952
|
|
BC135 .B73 1952 : Boole, George,
|
|
|
Studies in logic and probability / by George Boole.
Moore Stacks:Available
|
Book
|
1952
|
|
BC135 .C316 1959 : Carnap, Rudolf,
|
|
|
Introduction to semantics ; and, Formalization of logic / by Rudolf Carnap.
Moore Stacks:Available
|
Book
|
1943
|
|
BC135 .C323 : Carnap, Rudolf,
|
|
|
The logical syntax of language / by Rufolf Carnap.
Moore Stacks:Available
|
Book
|
1937
|
|
BC135 .C42 : Church, Alonzo,
|
|
|
Introduction to mathematical logic.
Moore Stacks:Available
|
Book
|
1956
|
|
BC135 .C57 2011eb
|
|
|
The continuum companion to philosophical logic / edited by Richard Pettigrew and Leon Horsten.
|
Bestseller
|
2011
|
|
BC135 .C58 : Copi, Irving M.
|
|
|
Symbolic logic.
Moore Stacks:Available
|
Book
|
1954
|
|
BC135 .C58 1965 : Copi, Irving M.
|
|
|
Symbolic logic / Irving M. Copi.
Moore Stacks:Available
|
Book
|
1965
|
|
BC135 .C58 1968 : Copi, Irving M.
|
|
|
Symbolic logic / Irving M. Copi.
Moore Stacks:Available
|
Book
|
1968
|
|
BC135 .C58 1973 : Copi, Irving M.
|
|
|
Symbolic logic / Irving M. Copi.
Moore Stacks:Available
|
Book
|
1973
|
|
BC135 .C58 1979 : Copi, Irving M.
|
|
|
Symbolic logic / by Irving M. Copi.
Moore Stacks:Available
|
Book
|
1979
|
|
BC135 .D5 : Dickoff, James.
|
|
|
Symbolic logic and language; a programmed text / by James Dickoff [and] Patricia James.
Moore Stacks:Available
|
Book
|
1965
|
|
BC135 .D67 1977 : Carroll, Lewis,
|
|
|
Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never pr
Moore Stacks:Available
|
Book
|
1977
|
|
BC135 .E57 1996eb : Englebretsen, George.
|
|
|
Something to reckon with : the logic of terms / George Englebretsen ; with a foreword by Fred Sommers
|
Bestseller
|
1996
|
|
BC135 .E83 1990 : Etchemendy, John,
|
|
|
The concept of logical consequence / John Etchemendy.
Moore Stacks:Available
|
Book
|
1990
|
|
BC135 .F48 : Fitch, Frederic B.
|
|
|
Symbolic logic : an introduction / by Frederic Brenton Fitch.
Moore Stacks:Available
|
Book
|
1952
|
|
BC135 .F57 1994 : Forbes, Graeme.
|
|
|
Modern logic : a text in elementary symbolic logic / Graeme Forbes.
Moore Stacks:Available
|
Book
|
1994
|
|
BC135 .F6813 1964 : Frege, Gottlob,
|
|
|
The basic laws of arithmetic; exposition of the system. / Translated and edited, with an introduction
Moore Stacks:Available
|
Book
|
1964
|
|
BC135 .F7513 : Freudenthal, Hans,
|
|
|
The language of logic.
Moore Stacks:Available
|
Book
|
1966
|
|
BC135 .G495 1990 : Gill, R. R. Rockingham,
|
|
|
Deducibility and decidability / R.R. Rockingham Gill.
Moore Stacks:Available
|
Book
|
1990
|
|
BC135 .G495 1990eb : Gill, R. R. Rockingham,
|
|
|
Deducibility and decidability / R.R. Rockingham Gill.
|
Bestseller
|
1990
|
|
BC135 .G84 1982 : Gustason, William.
|
|
|
Elementary symbolic logic / William Gustason, Dolph E. Ulrich.
Moore Stacks:Available
|
Book
|
1982
|
|
BC135 .H28 : Halberstadt, William H.,
|
|
|
An introduction to modern logic; an elementary textbook of symbolic logic.
Moore Stacks:Available
|
Book
|
1960
|
|
BC135 .H34 1970 : Halpern, Fred.
|
|
|
Deduction in continuous logics / by Fred Halpern.
Moore Stacks:Available
|
Book
|
1970
|
|
BC135 .H35 : Henle, Paul,
|
|
|
Structure, method, and meaning; essays in honor of Henry M. Sheffer / with a foreword by Felix Frankf
Moore Stacks:Available
|
Book
|
1951
|
|
BC135 .H514 : Hilbert, David,
|
|
|
Principles of mathematical logic / by D. Hilbert and W. Ackermann; translated from the German by Lewi
Moore Stacks:Available
|
Book
|
1950
|
|
BC135 .H68 1997eb : Howson, Colin.
|
|
|
Logic with trees : an introduction to symbolic logic / Colin Howson.
|
Bestseller
|
1997
|
|
BC135.H6913 2004 : Hoyningen-Huene, Paul,
|
|
|
Formal logic : a philosophical approach / Paul Hoyningen-Huene ; translated by Alex Levine.
|
Bestseller
|
2004
|
|