Limit search to items available for checkout
Nearby Call Numbers are:
Result Page   Prev Next
Save Marked Records Save All On Page
Mark   Media Year
QA9 .R26513 2006eb : Internet     
      A concise introduction to mathematical logic / Wolfgang Rautenberg. Rautenberg, Wolfgang.  E-BOOK 2006
QA9 .R36 1931eb : Internet     
      The foundations of mathematics and other logical essays / by Frank Plumpton Ramsey ; edited by R.B. B Ramsey, Frank Plumpton,  E-BOOK 1931
QA9 .R4513    
      Dialogues on mathematics. Rényi, Alfréd.  BOOK 1967
      Dialogues on mathematics. Rényi, Alfréd.  BOOK 1967
QA9 .R72 1969    
      An introduction to mathematical logic [by] Gerson B. Robison. Robison, Gerson B.,  BOOK 1969
      An introduction to mathematical logic [by] Gerson B. Robison. Robison, Gerson B.,  BOOK 1969
QA9 .R727 1991    
      The mathematical philosophy of Bertrand Russell : origins and development / Francisco A. Rodríguez-Co Rodríguez-Consuegra, Francisco A.,  BOOK 1991
      The mathematical philosophy of Bertrand Russell : origins and development / Francisco A. Rodríguez-Co Rodríguez-Consuegra, Francisco A.,  BOOK 1991
QA9 .R74    
      Mathematical logic and formalized theories; a survey of basic concepts and results. Rogers, Robert,  BOOK 1971
      Mathematical logic and formalized theories; a survey of basic concepts and results. Rogers, Robert,  BOOK 1971
QA9 .R775 1993    
      Taking God out of mathematics and putting the body back in : an essay in corporeal semiotics / by Bri Rotman, B.  BOOK c1993
      Taking God out of mathematics and putting the body back in : an essay in corporeal semiotics / by Bri Rotman, B.  BOOK c1993
QA9 .R79    
      Infinity and the mind / Rudy v. B. Rucker. Rucker, Rudy v. B.  BOOK 1982
      Infinity and the mind / Rudy v. B. Rucker. Rucker, Rudy v. B.  BOOK 1982
      Infinity and the mind / Rudy v. B. Rucker. Rucker, Rudy v. B.  BOOK 1982
QA9 .R79 2005eb    
      Infinity and the mind : the science and philosophy of the infinite / Rudy Rucker ; with a new preface Rucker, Rudy v. B.  E-BOOK 2005
      Infinity and the Mind : the Science and Philosophy of the Infinite / Rudy Rucker. Rucker, Rudy v. B.  E-BOOK 2004
QA9 .R79 2013eb : Internet     
      Infinity and the Mind : the Science and Philosophy of the Infinite / Rudy Rucker. Rucker, Rudy v. B.  E-BOOK 2004
QA9 .R8    
      Introduction to mathematical philosophy, by Bertrand Russell. Russell, Bertrand,  BOOK 1919
      Introduction to mathematical philosophy, by Bertrand Russell. Russell, Bertrand,  BOOK 1919
QA9 .R8 1985    
      Introduction to mathematical philosophy / by Bertrand Russell. Russell, Bertrand,  BOOK 1985?
      Introduction to mathematical philosophy / by Bertrand Russell. Russell, Bertrand,  BOOK 1985?
QA9 .R88 1938    
      Principles of mathematics [by] Bertrand Russell, F.R.S. Russell, Bertrand,  BOOK 1938
      Principles of mathematics [by] Bertrand Russell, F.R.S. Russell, Bertrand,  BOOK 1938
QA9 .R88 2010eb : Internet     
      Principles of mathematics / Bertrand Russell. Russell, Bertrand,  E-BOOK 2010
QA9.R883 : Internet     
      Toward "Principia mathematica", 1905-08 / Bertrand Russell ; edited by Gregory H. Moore. Russell, Bertrand,  E-BOOK 2014
QA9.R883 L56 2011eb : Internet     
      The Evolution of Principia Mathematica : Bertrand Russell's Manuscripts and Notes for the Second Edit Linsky, Bernard.  E-BOOK 2011
QA9 .R945 2010eb : Internet     
      Mathematical methods / E. Rukmangadachari. Rukmangadachari, E.  E-BOOK 2010
QA9 .R986 1997    
      Admissibility of logical inference rules / Vladimir V. Rybakov. Rybakov, Vladimir V.  BOOK 1997
      Admissibility of logical inference rules / Vladimir V. Rybakov. Rybakov, Vladimir V.  BOOK 1997
QA9 .S313    
      Saturated model theory [by] Gerald E. Sacks. Sacks, Gerald E.  BOOK 1972
      Saturated model theory [by] Gerald E. Sacks. Sacks, Gerald E.  BOOK 1972
QA9 .S33 1963    
      Our mathematical heritage; essays on the nature and cultural significance of mathematics. Schaaf, William L.  BOOK 1963
      Our mathematical heritage; essays on the nature and cultural significance of mathematics. Schaaf, William L.  BOOK 1963
QA9 .S36    
      Grundzüge der mathematischen Logik, von Heinrich Scholz und Gisbert Hasenjaeger. Scholz, Heinrich,  BOOK 1961
      Grundzüge der mathematischen Logik, von Heinrich Scholz und Gisbert Hasenjaeger. Scholz, Heinrich,  BOOK 1961
QA9 .S363 2008eb : Internet     
      Logic for computer scientists / Uwe Schöning. Schöning, Uwe,  E-BOOK 2008
QA9 .S377    
      Beweistheorie. Schütte, K.  BOOK 1960
      Beweistheorie. Schütte, K.  BOOK 1960
QA9 .S3793    
      Vollständige Systeme modaler und intuitionistischer Logik. Schütte, K.  BOOK 1968
      Vollständige Systeme modaler und intuitionistischer Logik. Schütte, K.  BOOK 1968
QA9 .S44    
      A bridge to advanced mathematics. Sentilles, Dennis.  BOOK 1975
      A bridge to advanced mathematics. Sentilles, Dennis.  BOOK 1975
      A bridge to advanced mathematics. Sentilles, Dennis.  BOOK 1975
QA9 .S445 2021eb : Internet     
      Architecture of mathematics / Simon Serovajsky. Serovajsky, Simon,  E-BOOK 2021
QA9 .S48 1991eb : Internet     
      Foundations without foundationalism : a case for second-order logic / Stewart Shapiro. Shapiro, Stewart,  E-BOOK 1991
QA9 .S518    
      Degrees of unsolvability. [By] Joseph R. Shoenfield. Shoenfield, Joseph R.  BOOK 1972
      Degrees of unsolvability. [By] Joseph R. Shoenfield. Shoenfield, Joseph R.  BOOK 1972
QA9 .S55 1958    
      Man and number. Smeltzer, Donald.  BOOK 1958
      Man and number. Smeltzer, Donald.  BOOK 1958
QA9 .S57    
      First-order logic [by] Raymond M. Smullyan. Smullyan, Raymond M.  BOOK 1968
      First-order logic [by] Raymond M. Smullyan. Smullyan, Raymond M.  BOOK 1968
QA9 .S575 2009 : Internet     
      Logical labyrinths / Raymond M. Smullyan. Smullyan, Raymond M.  E-BOOK 2009
QA9 .S577 1982    
      How to read and do proofs : an introduction to mathematical thought process / Daniel Solow. Solow, Daniel.  BOOK c1982
      How to read and do proofs : an introduction to mathematical thought process / Daniel Solow. Solow, Daniel.  BOOK c1982
QA9 -- S623 2009eb : Internet     
      Sistemas con lógica difusa. García Infante, Juan Carlos.  E-BOOK 2011
QA9 .S63 1972    
      Laws of form [by] G. Spencer Brown. Spencer-Brown, G.  BOOK 1972
      Laws of form [by] G. Spencer Brown. Spencer-Brown, G.  BOOK 1972
QA9 .S65 2008eb : Internet     
      A course on mathematical logic / Shashi Mohan Srivastava. Srivastava, S. M.  E-BOOK 2008
QA9 .S67    
      An introduction to mathematical thought. Stabler, Edward Russell,  BOOK 1953
      An introduction to mathematical thought. Stabler, Edward Russell,  BOOK 1953
QA9 .S736    
      Mathematical logic with special reference to the natural numbers [by] S. W. P. Steen. Steen, S. W. P.  BOOK 1972
      Mathematical logic with special reference to the natural numbers [by] S. W. P. Steen. Steen, S. W. P.  BOOK 1972
QA9 .S755 2015eb : Internet     
      The foundations of mathematics / Ian Stewart and David Tall. Stewart, Ian,  E-BOOK 2015
QA9 .S7613    
      History of mathematical logic from Leibniz to Peano [by] N. I. Styazhkin. St︠i︡azhkin, N. I.  BOOK c1969
      History of mathematical logic from Leibniz to Peano [by] N. I. Styazhkin. St︠i︡azhkin, N. I.  BOOK c1969
QA9 .S79    
      Studies in the history of mathematical logic. Edited by Stanisław J. Surma.   BOOK 1973
      Studies in the history of mathematical logic. Edited by Stanisław J. Surma.   BOOK 1973
QA9 .S847 1965    
      Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth L Logic Colloquium  BOOK 1967
      Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth L Logic Colloquium  BOOK 1967
QA9 .T25    
      Introduction to axiomatic set theory [by] G. Takeuti [and] W.M. Zaring. Takeuti, Gaisi,  BOOK 1971
      Introduction to axiomatic set theory [by] G. Takeuti [and] W.M. Zaring. Takeuti, Gaisi,  BOOK 1971
QA9 .T26 1978    
      Two applications of logic to mathematics / by Gaisi Takeuti. Takeuti, Gaisi,  BOOK 1978
      Two applications of logic to mathematics / by Gaisi Takeuti. Takeuti, Gaisi,  BOOK 1978
QA9 -- T26 1978eb : Internet     
      Two Applications of Logic to Mathematics. Takeuti, Gaisi.  E-BOOK 2015
QA9 .T28 1941    
      Introduction to logic and to the methodology of deductive sciences, by Alfred Tarski. Tarski, Alfred,  BOOK c1941
      Introduction to logic and to the methodology of deductive sciences, by Alfred Tarski. Tarski, Alfred,  BOOK c1941
Save Marked Records Save All On Page
Result Page   Prev Next