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 .H66 2011eb : Internet     
      The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein / Burt C. Hopkins. Hopkins, Burt C.,  E-BOOK 2011
QA9 .I46 2011eb : Internet     
      Infinity : New Research Frontiers. Heller, Michael.  E-BOOK 2011
QA9 .I5 1957    
      Constructivity in mathematics; proceedings. Edited by A. Heyting. International Colloquium "Constructivity in Mathematics"  BOOK 1959
      Constructivity in mathematics; proceedings. Edited by A. Heyting. International Colloquium "Constructivity in Mathematics"  BOOK 1959
QA9 .I53 1965    
      Problems in the philosophy of mathematics. Edited by Imre Lakatos. International Colloquium in the Philosophy of Science  BOOK 1967
      Problems in the philosophy of mathematics. Edited by Imre Lakatos. International Colloquium in the Philosophy of Science  BOOK 1967
QA9 .I55    
      Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg. International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability  BOOK 1969
      Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg. International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability  BOOK 1969
QA9 .J45    
      Essays on the foundations of mathematics. Dedicated to A. A. Fraenkel on his seventieth anniversary. Universiṭah ha-ʻIvrit bi-Yerushalayim.  BOOK c1962
      Essays on the foundations of mathematics. Dedicated to A. A. Fraenkel on his seventieth anniversary. Universiṭah ha-ʻIvrit bi-Yerushalayim.  BOOK c1962
QA9 .K225 2004eb : Internet     
      A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laa Kamareddine, Fairouz D.  E-BOOK 2004
QA9 .K313    
      The infinite in mathematics : logico-mathematical writings / Felix Kaufmann ; edited by Brian McGuinn Kaufmann, Felix,  BOOK c1978
      The infinite in mathematics : logico-mathematical writings / Felix Kaufmann ; edited by Brian McGuinn Kaufmann, Felix,  BOOK c1978
QA9 .K38    
      The anatomy of mathematics, by R. B. Kershner [and] L. R. Wilcox. Kershner, R. B.  BOOK 1950
      The anatomy of mathematics, by R. B. Kershner [and] L. R. Wilcox. Kershner, R. B.  BOOK 1950
QA9 .K38 2013eb : Internet     
      Distilling ideas : an introduction to mathematical thinking / Brian P. Katz, Michael Starbird. Katz, Brian P.,  E-BOOK 2013
QA9 .K4    
      Mathematical philosophy, a study of fate and freedom; lectures for educated laymen, by Cassius J. Key Keyser, Cassius Jackson,  BOOK c1922
      Mathematical philosophy, a study of fate and freedom; lectures for educated laymen, by Cassius J. Key Keyser, Cassius Jackson,  BOOK c1922
QA9 .K58    
      Introduction to metamathematics. Kleene, Stephen Cole,  BOOK 1952
      Introduction to metamathematics. Kleene, Stephen Cole,  BOOK 1952
QA9 .K65 1971    
      Introduction to metamathematics. Kleene, Stephen Cole,  BOOK 1971
      Introduction to metamathematics. Kleene, Stephen Cole,  BOOK 1971
QA9 .K652    
      Mathematical logic. Kleene, Stephen Cole,  BOOK 1967
      Mathematical logic. Kleene, Stephen Cole,  BOOK 1967
QA9 .K677 1960    
      The philosophy of mathematics : an introductory essay / Stephan Körner. Körner, Stephan,  BOOK 1960
      The philosophy of mathematics : an introductory essay / Stephan Körner. Körner, Stephan,  BOOK 1960
QA9 .K678    
      Logic and algorithms, with applications to the computer and information sciences [by] Robert R. Korfh Korfhage, Robert R.  BOOK 1966
      Logic and algorithms, with applications to the computer and information sciences [by] Robert R. Korfh Korfhage, Robert R.  BOOK 1966
QA9 .L32 2007eb : Internet     
      The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye. Kaye, Richard  E-BOOK 2007
QA9 .L37256 2018eb : Internet     
      A first course in logic / Mark V. Lawson, Heriot-Watt University, Edinburgh. Lawson, Mark V.,  E-BOOK 2019
QA9 .L377    
      Mathematical logic and Hilbert's & symbol [by] A. C. Leisenring. Leisenring, A. C.  BOOK c1969
      Mathematical logic and Hilbert's & symbol [by] A. C. Leisenring. Leisenring, A. C.  BOOK c1969
QA9 .L54    
      Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton. Lightstone, A. H.  BOOK c1978
      Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton. Lightstone, A. H.  BOOK c1978
QA9 .L6194 2017eb : Internet     
      Absolute continuity under time shift of trajectories and related stochastic calculus / Jörg-Uwe Löbus Löbus, Jörg-Uwe,  E-BOOK 2017
QA9 .L62    
      Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday.   BOOK 1968
      Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday.   BOOK 1968
QA9 .L624 1996    
      Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Ge   BOOK 1996
      Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Ge   BOOK 1996
QA9 .L624 1996eb : Internet     
      Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Ge   E-BOOK 1996
QA9 .L63 1963    
      Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett. Logic Colloquium  BOOK 1965
      Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett. Logic Colloquium  BOOK 1965
QA9 .L64 1966    
      Contributions to mathematical logic. Proceedings of the Logic Colloquim, Hannover, 1966. Edited by H. Logic Colloquium  BOOK 1968
      Contributions to mathematical logic. Proceedings of the Logic Colloquim, Hannover, 1966. Edited by H. Logic Colloquium  BOOK 1968
QA9 .L64513 1971    
      The Calculi of symbolic logic. 1 / edited by V. P. Orevkov ; [translated from the Russian by A. Yablo   BOOK 1971
      The Calculi of symbolic logic. 1 / edited by V. P. Orevkov ; [translated from the Russian by A. Yablo   BOOK 1971
QA9 .L645313 1974    
      Logical and logico-mathematical calculi. 2 / edited by V. P. Orevkov.   BOOK 1974
      Logical and logico-mathematical calculi. 2 / edited by V. P. Orevkov.   BOOK 1974
QA9.M265    
      Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz. Malitz, Jerome,  BOOK c1979
      Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz. Malitz, Jerome,  BOOK c1979
QA9 .M295 2010eb : Internet     
      The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-19 Mancosu, Paolo.  E-BOOK 2010
QA9 .M296 2010    
      A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from th Manin, ︠I︡U. I.  BOOK c2010
      A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from th Manin, ︠I︡U. I.  BOOK c2010
QA9 .M29613    
      A course in mathematical logic / Yu. I. Manin ; translated from the Russian by Neal Koblitz. Manin, ︠I︡U. I.  BOOK c1977
      A course in mathematical logic / Yu. I. Manin ; translated from the Russian by Neal Koblitz. Manin, ︠I︡U. I.  BOOK c1977
      A course in mathematical logic / Yu. I. Manin ; translated from the Russian by Neal Koblitz. Manin, ︠I︡U. I.  BOOK c1977
QA9 .M316 1987    
      To infinity and beyond : a cultural history of the infinite / Eli Maor. Maor, Eli.  BOOK c1987
      To infinity and beyond : a cultural history of the infinite / Eli Maor. Maor, Eli.  BOOK c1987
QA9 .M316 1991    
      To infinity and beyond : a cultural history of the infinite / Eli Maor. Maor, Eli.  BOOK 1991
      To infinity and beyond : a cultural history of the infinite / Eli Maor. Maor, Eli.  BOOK 1991
QA9 .M31913 1982    
      Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz. Marek, Wiktor.  BOOK c1982
      Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz. Marek, Wiktor.  BOOK c1982
QA9 .M32    
      First order mathematical logic. Margaris, Angelo.  BOOK 1967
      First order mathematical logic. Margaris, Angelo.  BOOK 1967
QA9 .M34    
      Notes on constructive mathematics. Martin-Löf, Per,  BOOK 1970
      Notes on constructive mathematics. Martin-Löf, Per,  BOOK 1970
QA9 .M34413 1987    
      Theory of deductive systems and its applications / S. Yu. Maslov ; translated by Michael Gelfond and Maslov, S. ︠I︡U.  BOOK c1987
      Theory of deductive systems and its applications / S. Yu. Maslov ; translated by Michael Gelfond and Maslov, S. ︠I︡U.  BOOK c1987
QA9 .M347 1997 : Internet     
      Mathematical reasoning : analogies, metaphors, and images / edited by Lyn D. English.   E-BOOK 1997
QA9 .M355 1993eb : Internet     
      Duality and definability in first order logic / Michael Makkai. Makkai, Mihály,  E-BOOK 1993
QA9 .M38 2007eb : Internet     
      Mathematical problems from applied logic II : logics for the XXIst century / edited by Dov M. Gabbay,   E-BOOK 2006
QA9 .M384463    
      Mathematical logic, the theory of algorithms, and the theory of sets / edited by S. I. Adjan.   BOOK 1977
      Mathematical logic, the theory of algorithms, and the theory of sets / edited by S. I. Adjan.   BOOK 1977
      Mathematical logic, the theory of algorithms, and the theory of sets / edited by S. I. Adjan.   BOOK 1977
QA9 .M39    
      The philosophy of mathematics. Maziarz, Edward A.  BOOK 1950
      The philosophy of mathematics. Maziarz, Edward A.  BOOK 1950
QA9 .M4    
      Introduction to mathematical logic. Mendelson, Elliott.  BOOK 1964
      Introduction to mathematical logic. Mendelson, Elliott.  BOOK 1964
QA9 .M4513    
      Evolution of mathematical thought. Meschkowski, Herbert.  BOOK 1965
      Evolution of mathematical thought. Meschkowski, Herbert.  BOOK 1965
Save Marked Records Save All On Page
Result Page   Prev Next