|
|
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
|
|
BC135 .Q46 : Quine, W. V.
|
|
|
Elementary logic / by Willard Van Orman Quine.
Moore Stacks:Available
|
Book
|
1941
|
|
BC135 .Q48 1951 : Quine, W. V.
|
|
|
Mathematical logic.
Moore Stacks:Available
|
Book
|
1951
|
|
BC135 .Q48 1962 : Quine, W. V.
|
|
|
Mathematical logic / by Willard Van Orman Quine.
Moore Stacks:Available
|
Book
|
1962
|
|
BC135 .Q48 1981eb : Quine, W. V.
|
|
|
Mathematical logic / by Willard Van Orman Quine.
|
Bestseller
|
1981
|
|
BC135 .Q485 : Quine, W. V.
|
|
|
Selected logic papers.
Moore Stacks:Available
|
Book
|
1966
|
|
BC135 .R4 : Reichenbach, Hans,
|
|
|
Elements of symbolic logic.
Moore Stacks:Available
|
Book
|
1947
|
|
BC135 .R45 : Rescher, Nicholas.
|
|
|
Topics in philosophical logic.
Moore Stacks:Available
|
Book
|
1969
|
|
BC135 .R55 : Rosenbloom, Paul C.
|
|
|
The elements of mathematical logic.
Moore Stacks:Available
|
Book
|
1950
|
|
BC135 .R58 : Rosser, J. Barkley
|
|
|
Logic for mathematicians.
Moore Stacks:Available
|
Book
|
1953
|
|
BC135 .R59 1952 : Rosser, J. Barkley
|
|
|
Many-valued logics / J. Barkley Rosser [and] Atwell R. Turquette.
Moore Stacks:Available
|
Book
|
1952
|
|
BC135 .S14 1991 : Sainsbury, R. M.
|
|
|
Logical forms : an introduction to philosophical logic / Mark Sainsbury.
Moore Stacks:Available
|
Book
|
1991
|
|
BC135 .S3 : Schagrin, Morton L.
|
|
|
The language of logic; a programed text / Morton L. Schagrin.
Moore Stacks:Available
|
Book
|
1968
|
|
BC135 .S33 : Schipper, Edith Watson.
|
|
|
A first course in modern logic / Edith Watson Schipper and Edward Schuh.
Moore Stacks:Available
|
Book
|
1959
|
|
BC135 .S5 1964 : Shearman, A. T.
|
|
|
The development of symbolic logic; a critical-historical study of the logical calculus / by A.T. Shea
Moore Stacks:Available
|
Book
|
1964
|
|
BC135 .S7613 1984 : Stoli͡ar, A. A.
|
|
|
Introduction to elementary mathematical logic / Abram Aronovich Stolyar.
Moore Stacks:Available
|
Book
|
1984
|
|
BC135 .S78 1983eb
|
|
|
Studies in logic / by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ;
|
Bestseller
|
1983
|
|
BC135 .T35 : Tarski, Alfred,
|
|
|
Logic, semantics, metamathematics; papers from 1923 to 1938. / Translated by J. H. Woodger.
Moore Stacks:Available
|
Book
|
1956
|
|
BC135 .T48 : Thomason, Richmond H.
|
|
|
Symbolic logic; an introduction / Richmond H. Thomason.
Moore Stacks:Available
|
Book
|
1969
|
|
BC135 .W37 1960 : Weinberg, Julius R.
|
|
|
An examination of logical positivism.
Moore Stacks:Available
|
Book
|
1960
|
|
BC135 .W5 : Wittgenstein, Ludwig,
|
|
|
Tractatus logico-philosophicus / by Ludwig Wittgenstein ; with the introduction by Bertrand Russell.
Moore Stacks:Available
|
Book
|
1922
|
|
BC135 .W5 1961 : Wittgenstein, Ludwig,
|
|
|
Tractatus logico-philosophicus / The German text Logisch-philosophische Abhandlung, with a new transl
Moore Stacks:Available
|
Book
|
1961
|
|
BC135.W52 A5 1965 : Anscombe, G. E. M.
|
|
|
An introduction to Wittgenstein's Tractatus / G.E.M. Anscombe.
Moore Stacks:Available
|
Book
|
1965
|
|
BC135.W52 B6 : Black, Max,
|
|
|
A companion to Wittgenstein's Tractatus / by Max Black.
Moore Stacks:Available
|
Book
|
1964
|
|
BC135.W52 C6 : Copi, Irving M.
|
|
|
Essays on Wittgenstein's Tractatus. / Edited by Irving M. Copi and Robert W. Beard.
Moore Stacks:Available
|
Book
|
1966
|
|
BC135.W52 G7 1964 : Griffin, James,
|
|
|
Wittgenstein's logical atomism / by James Griffin.
Moore Stacks:Available
|
Book
|
1964
|
|
BC135.W52 M35 2006 : McGinn, Marie.
|
|
|
Elucidating the Tractatus : Wittgenstein's early philosophy of logic and language / Marie McGinn.
Moore Stacks:Available
|
Book
|
2006
|
|