|
|
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
|
|
BC135 .I52 1964 : International Congress for Logic, Methodology, and Philosophy of Science
|
|
|
Logic, methodology and philosophy of science; proceedings. / Edited by Yehoshua Bar-Hillel.
Moore Stacks:Available
|
Book
|
1965
|
|
BC135 .I55 1960 : International Congress for Logic, Methodology, and Philosophy of Science
|
|
|
Logic, methodology, and philosophy of science; proceedings.
Moore Stacks:Available
|
Book
|
1962
|
|
BC135 .K4 1966 : Keene, G. B.
|
|
|
First-order functional calculus / by G. B. Keene.
Moore Stacks:Available
|
Book
|
1964
|
|
BC135 .L36 1966 : Leblanc, Hugues,
|
|
|
Techniques of deductive inference / Hugues Leblanc.
Moore Stacks:Available
|
Book
|
1966
|
|
BC135 .L38 : Lee, Harold N.
|
|
|
Symbolic logic : an introductory textbook for non-mathematicians.
Moore Stacks:Available
|
Book
|
1961
|
|
BC135 .L43 1959 : Lewis, Clarence Irving,
|
|
|
Symbolic logic / by Clarence Irving Lewis and Cooper Harold Langford.
Moore Stacks:Available
|
Book
|
1959
|
|
BC135 .L5 1960 : Lieber, Lillian R.
|
|
|
Mits, wits, and logic. / Drawings by Hugh Gray Lieber.
Moore Stacks:Available
|
Book
|
1960
|
|
BC135 .L58
|
|
|
The Logic of decision and action / edited by Nicholas Rescher ; essays by Alan Ross Anderson [and oth
Moore Stacks:Available
|
Book
|
1966
|
|
BC135 .L586
|
|
|
The Logical enterprise / Alan Ross Anderson, Ruth Barcan Marcus, and R. M. Martin, editors ; contribu
Moore Stacks:Available
|
Book
|
1975
|
|
BC135 .M1813 : McCall, Storrs.
|
|
|
Polish logic, 1920-1939, papers by Ajdukiewicz [and others]; with, an introduction by Tadeusz Kotarbí
Moore Stacks:Available
|
Book
|
1967
|
|
BC135 .M3155 2015eb : Marcus, Russell,
|
|
|
Autonomy platonism and the indispensability argument / Russell Marcus.
|
Bestseller
|
2015
|
|
BC135 .M325 1989 : Martin, Norman M.
|
|
|
Systems of logic / Norman M. Martin.
Moore Stacks:Available
|
Book
|
1989
|
|
BC135 .M35 : Massey, Gerald J.
|
|
|
Understanding symbolic logic / Gerald J. Massey.
Moore Stacks:Available
|
Book
|
1970
|
|
BC135 .M37 : Mates, Benson,
|
|
|
Elementary logic / Benson Mates.
Moore Stacks:Available
|
Book
|
1965
|
|
BC135 .M6 : Mostowski, Andrzej.
|
|
|
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel.
Moore Stacks:Available
|
Book
|
1952
|
|
BC135 .P39 1989 : Paulson, Clifford R.
|
|
|
Language, philosophy and logic / Clifford R. Paulson.
Moore Stacks:Available
|
Book
|
1989
|
|
BC135 .P64 1991
|
|
|
Philosophical applications of free logic / with an introduction and edited by Karel Lambert.
Moore Stacks:Available
|
Book
|
1991
|
|
BC135 .P68 : Pollock, John L.
|
|
|
Introduction to symbolic logic / John L. Pollock.
Moore Stacks:Available
|
Book
|
1969
|
|
BC135 .P683 1990 : Pollock, John L.
|
|
|
Technical methods in philosophy / by John L. Pollock.
Moore Stacks:Available
|
Book
|
1990
|
|
BC135 .P78 : Prior, A. N.
|
|
|
Time and modality / by A. N. Prior.
Moore Stacks:Available
|
Book
|
1957
|
|