|
|
|
|
QA9 .M3475 2010eb
|
|
|
|
Mathematics and mathematical logic : new research / Peter Milosav and Irene Ercegovaca, editors.
|
Bestseller
|
2010
|
|
|
QA9 .M39 : Maziarz, Edward A.
|
|
|
|
The philosophy of mathematics.
Moore Stacks:Available
|
Book
|
1950
|
|
|
QA9 .M3935 2005 : Mazur, Joseph.
|
|
|
|
Euclid in the rainforest : discovering universal truth in logic and math / Joseph Mazur.
Moore Stacks:Available
|
Book
|
2005
|
|
|
QA9 .M4 : Mendelson, Elliott.
|
|
|
|
Introduction to mathematical logic.
Moore Stacks:DUE 05-10-24 12:00AM
|
Book
|
1964
|
|
|
QA9 .M4513 : Meschkowski, Herbert.
|
|
|
|
Evolution of mathematical thought. / Translated by Jane H. Gayl.
Moore Stacks:Available
|
Book
|
1965
|
|
|
QA9 .N3 : Nagel, Ernest,
|
|
|
|
Gödel's proof / by Ernest Nagel and James R. Newman.
Moore Stacks:DUE 05-10-24 12:00AM
|
Book
|
1958
|
|
|
QA9 .N49 : Nidditch, P. H.
|
|
|
|
The development of mathematical logic.
Moore Stacks:Available
|
Book
|
1962
|
|
|
QA9 .N5 : Nidditch, P. H.
|
|
|
|
Elementary logic of science and mathematics.
Moore Stacks:Available
|
Book
|
1960
|
|
|
QA9 .P515 1995 : Pickover, Clifford A.
|
|
|
|
Keys to infinity / Clifford A. Pickover.
Moore Stacks:Available
|
Book
|
1995
|
|
|
QA9 .P57 1954 : Pólya, George,
|
|
|
|
Mathematics and plausible reasoning.
Moore Stacks:Available
|
Book
|
1954
|
|
|
QA9 .P57 1968 : Pólya, George,
|
|
|
|
Mathematics and plausible reasoning / by G. Polya.
Moore Stacks:Available
|
Book
|
1968
|
|
|
QA9 .P699 2010eb : Pozzato, Gian Luca.
|
|
|
|
Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato.
|
Bestseller
|
2010
|
|
|
QA9 .R3 1950 : Ramsey, Frank Plumpton,
|
|
|
|
The foundations of mathematics and other logical essays / by Frank Plumpton Ramsey ; edited by R. B.
Moore Stacks:Available
|
Book
|
1950
|
|
|
QA9 .R344 2015eb
|
|
|
|
Refractions of mathematics education : festschrift for Eva Jablonka / edited by Christer Bergsten, Li
|
Bestseller
|
2015
|
|
|
QA9 .R4 : Reichenbach, Hans,
|
|
|
|
Wahrscheinlichkeitslehre; eine untersuchung uber die logischen und mathematischen grundlagen der wahr
Moore Stacks:Available
|
Book
|
1935
|
|
|
QA9 .R412 : Reichenbach, Hans,
|
|
|
|
The theory of probability, an inquiry into the logical and mathematical foundations of the calculus o
Moore Stacks:Available
|
Book
|
1949
|
|
|
QA9 .R4513 : Rényi, Alfréd.
|
|
|
|
Dialogues on mathematics.
Moore Stacks:Available
|
Book
|
1967
|
|
|
QA9 .R68 : Robbin, Joel W.
|
|
|
|
Mathematical logic: a first course / Joel W. Robbin.
Moore Stacks:Available
|
Book
|
1969
|
|
|
QA9 R72 : Robison, Gerson B.,
|
|
|
|
An introduction to mathematical logic.
Moore Stacks:Available
|
Book
|
1969
|
|
|
QA9 .R88 1938z : Russell, Bertrand,
|
|
|
|
Principles of mathematics / Bertrand Russell.
Moore Stacks:Available
|
Book
|
1938
|
|
|
QA9.R883 L56 2011eb : Linsky, Bernard.
|
|
|
|
The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edit
|
Bestseller
|
2011
|
|
|
QA9 .R91 1956 : Russell, Bertrand,
|
|
|
|
Introduction to mathematical philosophy.
Moore Stacks:Available
|
Book
|
1956
|
|
|
QA9 .S33 1963 : Schaaf, William L.
|
|
|
|
Our mathematical heritage; essays on the nature and cultural significance of mathematics.
Moore Stacks:Available
|
Book
|
1963
|
|
|
QA9 .S48 1991eb : Shapiro, Stewart,
|
|
|
|
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro.
|
Bestseller
|
1991
|
|
|
QA9 .S57 1995 : Smullyan, Raymond M.
|
|
|
|
First-order logic / Raymond M. Smullyan.
Moore Stacks:Available
|
Book
|
1995
|
|
|
QA9 .S63 1972 : Spencer-Brown, G.
|
|
|
|
Laws of form / G. Spencer Brown.
Moore Stacks:Available
|
Book
|
1972
|
|
|
QA9 .S755 : Stewart, Ian.
|
|
|
|
The foundations of mathematics / Ian Stewart and David Tall.
Moore Stacks:Available
|
Book
|
1977
|
|
|
QA9 .T28 1946x : Tarski, Alfred,
|
|
|
|
Introduction to logic and to the methodology of deductive sciences.
Moore Stacks:Available
|
Book
|
1946
|
|
|
QA9 .T28 1994eb : Tarski, Alfred,
|
|
|
|
Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski.
|
Bestseller
|
1994
|
|
|
QA9 .U55 1966 : Universiṭah ha-ʻIvrit bi-Yerushalayim.
|
|
|
|
Essays on the foundations of mathematics. Dedicated to A. A. Fraenkel on his seventieth anniversary.
Moore Stacks:Available
|
Book
|
1966
|
|
|
QA9 .V28 : Van Heijenoort, Jean,
|
|
|
|
Frege and Gödel; two fundamental texts in mathematical logic.
Moore Stacks:Available
|
Book
|
1970
|
|
|
QA9 .V3 : Van Heijenoort, Jean,
|
|
|
|
From Frege to Gödel; a source book in mathematical logic, 1879-1931.
Moore Stacks:Available
|
Book
|
1967
|
|
|
QA9 .W332 : Waismann, Friedrich.
|
|
|
|
Introduction to mathematical thinking: the formation of concepts in modern mathematics / with a forew
Moore Stacks:Available
|
Book
|
1951
|
|
|
QA9 .W335 2003 : Wallace, David Foster.
|
|
|
|
Everything and more : a compact history of infinity / David Foster Wallace.
Moore Stacks:Available
|
Book
|
2003
|
|
|
QA9 .W35 1970 : Wang, Hao,
|
|
|
|
Logic, computers, and sets.
Moore Stacks:Available
|
Book
|
1970
|
|
|
QA9 .W412 1949 : Weyl, Hermann,
|
|
|
|
Philosophy of mathematics and natural science. / Rev. and augm. English ed., based on a translation b
Talbott: Offsite Storage:Available
|
Book
|
1963
|
|
|
QA9 .W47
|
|
|
|
What is mathematical logic? / J. N. Crossley...[and others].
Moore Stacks:Available
|
Book
|
1972
|
|
|
QA9 .W5 1927 : Whitehead, Alfred North,
|
|
|
|
Principia mathematica / by Alfred North Whitehead and Bertrand Russell.
Moore Stacks:Available
|
Book
|
1927
|
|
|
QA9 .W57 : Wilder, Raymond Louis,
|
|
|
|
Evolution of mathematical concepts; an elementary study / Raymond L. Wilder.
Moore Stacks:Available
|
Book
|
1968
|
|
|
QA9 .W72 1955 : Wiskundig Genootschap (Netherlands)
|
|
|
|
Mathematical interpretation of formal systems / Th. Skolem [and others].
Moore Stacks:Available
|
Book
|
1955
|
|
|
QA9 .W743 : Wittgenstein, Ludwig,
|
|
|
|
Remarks on the foundations of mathematics. / Edited by G.H. von Wright, R. Rhees [and] G.E.M. Anscomb
Moore Stacks:Available
|
Book
|
1956
|
|
|
QA9 .W743 1956 : Wittgenstein, Ludwig,
|
|
|
|
Remarks on the foundations of mathematics / by Ludwig Wittgenstein ; edited by G. H. von Wright, R. R
Moore Stacks:Available
|
Book
|
1956
|
|
|
QA9 .W743 1964 : Wittgenstein, Ludwig,
|
|
|
|
Remarks on the foundations of mathematics. / Edited by G. H. von Wright, R. Rhees [and] G. E. M. Ansc
Moore Stacks:Available
|
Book
|
1964
|
|
|
QA9 .W749 2003eb : Woods, John
|
|
|
|
Paradox and paraconsistency : conflict resolution in the abstract sciences / John Woods.
|
Bestseller
|
2003
|
|
|
QA9 .Z6 : Zoll, Edward J.
|
|
|
|
Logic; a programed text for two-valued and three-valued logics / Edward J. Zoll.
Moore Stacks:Available
|
Book
|
1968
|
|
|
QA9.2 .C45 2007eb : Chiswell, Ian,
|
|
|
|
Mathematical logic / Ian Chiswell and Wilfrid Hodges.
|
Bestseller
|
2007
|
|
|
QA9.2 .D38 2006 : Davis, Philip J.,
|
|
|
|
Mathematics and common sense : a case of creative tension / Philip J. Davis.
Moore Stacks:Available
|
Book
|
2006
|
|
|
QA9.2 .F44 1998eb : Feferman, Solomon.
|
|
|
|
In the light of logic / Solomon Feferman.
|
Bestseller
|
1998
|
|
|
QA9.2 .F67 2014
|
|
|
|
Formalism and beyond : on the nature of mathematical discourse / edited by Godehard Link.
|
Bestseller
|
2014
|
|
|
QA9.2 .K87 2010eb
|
|
|
|
Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simp
|
Bestseller
|
2010
|
|
|
