|
|
|
|
QA9 .C83 1968 : Curry, Haskell B.
|
|
|
|
Combinatory logic / by Haskell B. Curry, Robert Feys ; with two sections by William Craig.
Moore Stacks:Available
|
Book
|
1972
|
|
|
QA9 .C85 : Curry, Haskell B.
|
|
|
|
Foundations of mathematical logic.
Moore Stacks:Available
|
Book
|
1963
|
|
|
QA9 .D2 : Dantzig, Tobias,
|
|
|
|
Number, the language of science; a critical survey written for the cultured non-mathematician / by To
Moore Stacks:Available
|
Book
|
1930
|
|
|
QA9 .D2 1956 : Dantzig, Tobias,
|
|
|
|
Number, the language of science / a critical survey written for the cultured non-mathematician.
Moore Stacks:Available
|
Book
|
1956
|
|
|
QA9 .D37 : DeLong, Howard,
|
|
|
|
A profile of mathematical logic.
Moore Stacks:Available
|
Book
|
1970
|
|
|
QA9 .D38 2013eb : Demopoulos, William.
|
|
|
|
Logicism and its philosophical legacy / William Demopoulos.
|
Bestseller
|
2013
|
|
|
QA9 .D47 1999eb : Detlefsen, Michael,
|
|
|
|
Logic from A to Z / Michael Detlefsen, David Charles McCarty, John B. Bacon.
|
Bestseller
|
1999
|
|
|
QA9 .D484 2002eb : Dewender, Thomas.
|
|
|
|
Das Problem des Unendlichen im ausgehenden 14. Jahrhundert : eine Studie mit Textedition zum Physikko
|
Bestseller
|
2002
|
|
|
QA9 .E54 1972 : Enderton, Herbert B.
|
|
|
|
A mathematical introduction to logic / Herbert B. Enderton. -
Moore Stacks:Available
|
Book
|
1972
|
|
|
QA9 .E96 : Exner, Robert M.
|
|
|
|
Logic in elementary mathematics / Robert M. Exner [and] Myron F. Rosskopf.
Moore Stacks:Available
|
Book
|
1959
|
|
|
QA9 .F433 : Félix, Lucienne.
|
|
|
|
The modern aspect of mathematics. / Translated by Julius H. Hlavaty and Fancille H. Hlavaty.
Moore Stacks:Available
|
Book
|
1960
|
|
|
QA9 .F56 : Fitting, Melvin,
|
|
|
|
Intuitionistic logic, model theory and forcing.
Moore Stacks:Available
|
Book
|
1969
|
|
|
QA9 .G46 2021
|
|
|
|
George Spencer Brown's Design with the Nor : With Related Essays / edited by Steffen Roth, Markus Hei
|
Bestseller
|
2021
|
|
|
QA9 .G5313 1986 : Gödel, Kurt.
|
|
|
|
Collected works / Kurt Gödel ; editors, Solomon Feferman ... [and others].
Moore Stacks:Available
|
Book
|
1986
|
|
|
QA9 .G5313eb vol. 1 : Gödel, Kurt.
|
|
|
|
Collected works. Volume I, Publications 1929-1936 / Kurt Gödel ; editors, Solomon Feferman [and other
|
Bestseller
|
1986
|
|
|
QA9 .G69 1965 : Goodstein, R. L.
|
|
|
|
Mathematical logic.
Moore Stacks:Available
|
Book
|
1965
|
|
|
QA9 .G76 2007eb : Grosholz, Emily,
|
|
|
|
Representation and productive ambiguity in mathematics and the sciences / Emily R. Grosholz.
|
Bestseller
|
2007
|
|
|
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
|
|
|
