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
QA8.6 .F77 1996    
      From Kant to Hilbert : a source book in the foundations of mathematics / [compiled by] William Ewald.   BOOK 1996
      From Kant to Hilbert : a source book in the foundations of mathematics / [compiled by] William Ewald.   BOOK 1996
      From Kant to Hilbert : a source book in the foundations of mathematics / [compiled by] William Ewald.   BOOK 1996
QA8.6 .F77 2005eb : Internet     
      From Kant to Hilbert, 1 : a Source Book in the Foundations of Mathematics. Ewald, William Bragg.  E-BOOK 2005
QA8.6 .F77eb vol. 2eb : Internet     
      From Kant to Hilbert : a source book in the foundations of mathematics. Volume II / [compiled by] Wil   E-BOOK 2005
QA8.6 .F772 2005eb : Internet     
      From Kant to Hilbert : a source book in the foundations of mathematics. Volume 2 / [compiled by] Will   E-BOOK 2005
QA8.6 .G63 1995    
      Unpublished philosophical essays / Kurt Gödel ; edited by Francisco A. Rodríguez-Consuegra ; with a h Gödel, Kurt.  BOOK 1995
      Unpublished philosophical essays / Kurt Gödel ; edited by Francisco A. Rodríguez-Consuegra ; with a h Gödel, Kurt.  BOOK 1995
QA8.6 .K33 1986    
      Discrete thoughts : essays on mathematics, science, and philosophy / Mark Kac, Gian-Carlo Rota, and J Kac, Mark.  BOOK c1986
      Discrete thoughts : essays on mathematics, science, and philosophy / Mark Kac, Gian-Carlo Rota, and J Kac, Mark.  BOOK c1986
QA8.6 .L64 1999    
      Logic at work : essays dedicated to the memory of Helena Rasiowa / Ewa Orłowska (ed.).   BOOK c1999
      Logic at work : essays dedicated to the memory of Helena Rasiowa / Ewa Orłowska (ed.).   BOOK c1999
QA8.6 .M38 1990    
      Mathematics and science / edited by Ronald E. Mickens.   BOOK 1990
      Mathematics and science / edited by Ronald E. Mickens.   BOOK 1990
QA8.6 .N48 1986    
      New directions in the philosophy of mathematics : an anthology / edited by Thomas Tymoczko.   BOOK c1986
      New directions in the philosophy of mathematics : an anthology / edited by Thomas Tymoczko.   BOOK c1986
QA8.6 .P37 1983    
      Mathematics in philosophy : selected essays / Charles Parsons. Parsons, Charles,  BOOK 1983
      Mathematics in philosophy : selected essays / Charles Parsons. Parsons, Charles,  BOOK 1983
      Mathematics in philosophy : selected essays / Charles Parsons. Parsons, Charles,  BOOK 1983
QA8.6 .P38 2010eb : Internet     
      Essays on the foundations of mathematics / by Moritz Pasch ; Stephen Pollard, editor. Pasch, Moritz,  E-BOOK 2010
QA8.6 .S84 2018 : Internet     
      How our emotions and bodies are vital for abstract thought : perfect mathematics for imperfect minds Sverdlik, Anna,  E-BOOK 2018
QA8.6 .V57 2005eb : Internet     
      Visualization, explanation and reasoning styles in mathematics / edited by Paolo Mancosu, Klaus Frovi   E-BOOK 2005
QA8.6 .W83    
      Wittgenstein's lectures on the foundations of mathematics, Cambridge, 1939 / from the notes of R. G. Wittgenstein, Ludwig,  BOOK 1976
      Wittgenstein's lectures on the foundations of mathematics, Cambridge, 1939 / from the notes of R. G. Wittgenstein, Ludwig,  BOOK 1976
QA8.7 .B48 : Internet     
      Beta [electronic resource] : jurnal tadris matematika.   E-PERIODICAL  
QA8.7 .B67 2008eb : Internet     
      The computer as crucible : an introduction to experimental mathematics / Jonathan Borwein, Keith Devl Borwein, Jonathan M.,  E-BOOK 2008
QA8.7 .B67 2009    
      The computer as crucible : an introduction to experimental mathematics / Jonathan Borwein, Keith Devl Borwein, Jonathan M.  BOOK c2009
      The computer as crucible : an introduction to experimental mathematics / Jonathan Borwein, Keith Devl Borwein, Jonathan M.  BOOK c2009
QA8.7 .C75 2014eb : Internet     
      Critique as uncertainty / edited by Ole Skovsmose.   E-BOOK 2014
QA8.7 .E97 2007 : Internet     
      Experimental mathematics in action / David H. Bailey [and others].   E-BOOK 2007
QA8.7 .G368 : Internet     
      Jurnal Gantang [electronic resource].   E-PERIODICAL  
QA8.7 .G54 2005 : Internet     
      A gift for maths / Films for the Humanities & Sciences ; ARTE France, Trans Europe Film, Merlin Busin   STREAMING VIDEO 2005
QA8.7 .H86 1996    
      An observation instrument to identify process-oriented vs. product-oriented instruction and its asses Hung, Ruey Yu,  MANUSCRIPT 1996
      An observation instrument to identify process-oriented vs. product-oriented instruction and its asses Hung, Ruey Yu,  MANUSCRIPT 1996
      An observation instrument to identify process-oriented vs. product-oriented instruction and its asses Hung, Ruey Yu,  MANUSCRIPT 1996
QA8.7 .J876 : Internet     
      Jurnal pendidikan matematika [electronic resource].   E-PERIODICAL  
QA8.7 .R474 : Internet     
      Research in mathematics education [electronic resource].   E-PERIODICAL 2000
QA8.7 .R48 1999    
      Rethinking the mathematics curriculum / edited by Celia Hoyles, Candia Morgan and Geoffrey Woodhouse.   BOOK 1999
      Rethinking the mathematics curriculum / edited by Celia Hoyles, Candia Morgan and Geoffrey Woodhouse.   BOOK 1999
QA8.7 .S79 2018    
      Teaching with mathematical argument : strategies for supporting everyday instruction / Despina Stylia Stylianou, Despina A.,  BOOK 2018
      Teaching with mathematical argument : strategies for supporting everyday instruction / Despina Stylia Stylianou, Despina A.,  BOOK 2018
QA8.7 .T42 2009    
      Teaching and learning proof across the grades : a K-16 perspective / edited by Despina A. Stylianou,   BOOK 2009
      Teaching and learning proof across the grades : a K-16 perspective / edited by Despina A. Stylianou,   BOOK 2009
      Teaching and learning proof across the grades : a K-16 perspective / edited by Despina A. Stylianou,   E-BOOK 2009
QA8.7 .T43    
      Teaching for excellence and equity in mathematics : a publication of TODOS: Mathematics for All, an a   SERIAL  
      Teaching for excellence and equity in mathematics : a publication of TODOS: Mathematics for All, an a   SERIAL  
      Teaching for excellence and equity in mathematics : a publication of TODOS: Mathematics for All, an a   SERIAL  
      Teaching for excellence and equity in mathematics : a publication of TODOS: Mathematics for All, an a   SERIAL  
9 additional entries    
QA8.7 .T636    
      Todos : mathematics for all.   SERIAL 2008-
      Todos : mathematics for all.   SERIAL 2008-
      Todos : mathematics for all.   SERIAL 2008-
QA8.9-10.3eb : Internet     
      Mathematical Logic / by H.-D. Ebbinghaus, J. Flum, W. Thomas. Ebbinghaus, H.-D.  E-BOOK 1994
QA8.9 ebookeb : Internet     
      G. Cantor : sistema de números y conjuntos / José Luis Marcos Malmierca. Gómez Bermúdez, Carlos.  E-BOOK 2009
QA8.9-QA10.3eb    
      Foundations of information and knowledge systems : 8th international symposium, FoIKS 2014, Bordeaux, FoIKS (Symposium)  E-BOOK 2014
      Reactive Kripke semantics / by Dov M. Gabbay. Gabbay, Dov M.,  E-BOOK 2013
      Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Ma   E-BOOK 2014
      Special topics in mathematics for computer scientists : sets, categories, topologies and measures / E Doberkat, Ernst-Erich,  E-BOOK 2015
QA9    
      An introduction to many-valued logics / Robert Ackermann. Ackermann, Robert John,  E-BOOK 2019
      Lógica matemática / Carlos Fernando Mora Espinosa, Julio César Nieto Sánchez. Mora Espinosa, Carlos Fernando,  E-BOOK 2019
      Paradoxes of the infinite / by Bernard Bolzano ; translated by Donald A. Steele. Bolzano, Bernard,  E-BOOK 2014
QA9.A1 : Internet     
      Frontiers of combining systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, Septembe FroCoS (Symposium)  E-BOOK 2015
QA9.A1 A2 : Internet     
      The ACM journal of experimental algorithmics [electronic resource].   E-PERIODICAL  
QA9.A1 A44 2016eb : Internet     
      Algebra and computer science / Delaram Kahrobaei, Bren Cavallo, David Garber, editors.   E-BOOK 2016
QA9 .A1A47 1985    
      Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held Augus AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics  BOOK c1987
      Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held Augus AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics  BOOK c1987
QA9.A1 -- A47 1985eb : Internet     
      Logic and Combinatorics [electronic resource]. Simpson, Stephen G.  E-BOOK 1987
QA9.A1 A853 2008eb : Internet     
      Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai [a Asian Logic Conference  E-BOOK 2010
QA9.A1 A955 : Internet     
      Axioms [electronic resource].   E-PERIODICAL 2012-
QA9.A1 B855 : Internet     
      The bulletin of symbolic logic [electronic resource].   E-PERIODICAL 1995-
QA9.A1 C64 1975    
      Coloquio sobre Lógica Simbólica, Madrid, febrero 1975. Coloquio sobre Lógica Simbólica  BOOK 1975
      Coloquio sobre Lógica Simbólica, Madrid, febrero 1975. Coloquio sobre Lógica Simbólica  BOOK 1975
QA9.A1eb    
      Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Workshop on Logic, Language, Information and Computation  E-BOOK 2014
      Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV / edite Studia Logica Conference on Trends in Logic IV  E-BOOK 2008
QA9.A1 F73 2002    
      Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, It FroCoS (Symposium)  BOOK 2002
      Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, It FroCoS (Symposium)  BOOK 2002
QA9.A1 F73 2005    
      Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September FroCoS (Symposium)  BOOK 2005
      Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September FroCoS (Symposium)  BOOK 2005
Save Marked Records Save All On Page
Result Page   Prev Next