|
|
QA9 .I5 1957 : International Colloquium "Constructivity in Mathematics"
|
|
|
Constructivity in mathematics; proceedings. / Edited by A. Heyting.
Moore Stacks:Available
|
Book
|
1959
|
|
QA9 .K38 2013eb : Katz, Brian P.,
|
|
|
Distilling ideas : an introduction to mathematical thinking / Brian P. Katz, Michael Starbird.
|
Bestseller
|
2013
|
|
QA9 .K4 1952 : Kleene, Stephen Cole,
|
|
|
Introduction to metamathematics.
Moore Stacks:DUE 05-10-24 12:00AM
|
Book
|
1952
|
|
QA9 .K44 : Kielkopf, Charles F.
|
|
|
Strict finitism; an examination of Ludwig Wittgenstein's remarks on the foundations of mathematics. /
Moore Stacks:Available
|
Book
|
1970
|
|
QA9 .K673 : Kneebone, G. T.
|
|
|
Mathematical logic and the foundation of mathematics; an introductory survey.
Moore Stacks:Available
|
Book
|
1963
|
|
QA9 .K677 1962 : Körner, Stephan,
|
|
|
The philosophy of mathematics: an introduction.
Moore Stacks:Available
|
Book
|
1962
|
|
QA9 .L32 2007eb : Kaye, Richard
|
|
|
The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye.
|
Bestseller
|
2007
|
|
QA9 .L48 : Lieber, Lillian R.
|
|
|
Human values and science, art and mathematics. / Text by Lillian R. Lieber. Drawings by Hugh G. Liebe
Moore Stacks:Available
|
Book
|
1961
|
|
QA9 .L5 1959 : Lieber, Lillian R.
|
|
|
Infinity ; with drawings / by Hugh Gray Lieber.
Moore Stacks:Available
|
Book
|
1959
|
|
QA9 .L624 1996eb
|
|
|
Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Ge
|
Bestseller
|
1996
|
|
QA9 .M295 2010 : Mancosu, Paolo.
|
|
|
The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-19
|
Bestseller
|
2010
|
|
QA9 .M29613 : Manin, I͡U. I.
|
|
|
A course in mathematical logic / Y. I. Manin ; translated from the Russian by Neal Koblitz.
Moore Stacks:Available
|
Book
|
1977
|
|
QA9 .M316 1987 : Maor, Eli.
|
|
|
To infinity and beyond : a cultural history of the infinite / Eli Maor.
Moore Stacks:Available
|
Book
|
1987
|
|
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
|
|