|
|
|
|
QA9 .H25 1954 : Hadamard, Jacques,
|
|
|
|
An essay on the psychology of invention in the mathematical field.
Moore Stacks:Available
|
Book
|
1954
|
|
|
QA9 .H36 2004eb : Hedman, Shawn.
|
|
|
|
A first course in logic : an introduction to model theory, proof theory, computability, and complexit
|
Bestseller
|
2004
|
|
|
QA9 .H396 2010eb : Hellerstein, N. S.
|
|
|
|
Diamond : a paradox logic / N.S. Hellerstein.
|
Bestseller
|
2010
|
|
|
QA9 .H397 2018 : Hellman, Geoffrey,
|
|
|
|
Varieties of continua : from regions to points and back / Geoffrey Hellman and Stewart Shapiro.
|
Bestseller
|
2018
|
|
|
QA9 .H43 : Henkin, Leon.
|
|
|
|
Retracing elementary mathematics / Leon Henkin [and others]
Moore Stacks:Available
|
Book
|
1962
|
|
|
QA9 .H53 : Hintikka, Jaakko,
|
|
|
|
The philosophy of mathematics. / Edited by Jaako Hintikka.
Moore Stacks:Available
|
Book
|
1969
|
|
|
QA9 .H66 2011eb : Hopkins, Burt C.
|
|
|
|
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein / Burt C. Hopkins.
|
Bestseller
|
2011
|
|
|
QA9 .I46 2011eb
|
|
|
|
Infinity : new research frontiers / edited by Michael Heller, W. Hugh Woodin.
|
Bestseller
|
2011
|
|
|
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
|
|
|
