|
|
QA9.37 .M37 2016 : Marker, D.
|
|
|
Lectures on infinitary model theory / David Marker, University of Illinois, Chicago.
|
Bestseller
|
2016
|
|
QA9.4 .E77 2001eb
|
|
|
Essays on non-classical logic / editor, Heinrich Wansing.
|
Bestseller
|
2001
|
|
QA9.4 .F67 2003eb : Forster, T. E.
|
|
|
Reasoning about theoretical entities / Thomas Forster.
|
Bestseller
|
2003
|
|
QA9.4 .P75 2008eb : Priest, Graham,
|
|
|
An introduction to non-classical logic : from if to is / Graham Priest.
|
Bestseller
|
2008
|
|
QA9.45 .M35 1993 : Malinowski, Grzegorz.
|
|
|
Many-valued logics / Grzegorz Malinowski.
Moore Stacks:Available
|
Book
|
1993
|
|
QA9.46 .G664 201 : Goldblatt, Robert.
|
|
|
Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural
|
Bestseller
|
2011
|
|
QA9.47 .D84 : Dummett, Michael,
|
|
|
Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio.
Moore Stacks:Available
|
Book
|
1977
|
|
QA9.5 : Barendregt, Henk.
|
|
|
Lambda Calculus with Types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions fron
|
Bestseller
|
2013
|
|
QA9.5 .H565 2008eb : Hindley, J. Roger.
|
|
|
Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin.
|
Bestseller
|
2008
|
|
QA9.54
|
|
|
An introduction to mathematical reasoning : numbers, sets, and functions / Peter J. Eccles.
Moore Stacks:Available
|
Book
|
1997
|
Proving in the elementary mathematics classroom / Andreas J. Stylianides.
|
Bestseller
|
2016
|
|
QA9.54 .A57 2010 : Alsina, Claudi.
|
|
|
Charming proofs : a journey into elegant mathematics / Claudi Alsina, Roger B. Nelsen.
|
Bestseller
|
2010
|
|
QA9.54 .B36 2000eb : Benson, Donald C.
|
|
|
The moment of proof : mathematical epiphanies / Donald C. Benson.
|
Bestseller
|
2000
|
|
QA9.54 .C67 2016eb
|
|
|
Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Pete
|
Bestseller
|
2016
|
|
QA9.54 .C86 2005eb : Cupillari, Antonella.
|
|
|
The nuts and bolts of proofs / Antonella Cupillari.
|
Bestseller
|
2005
|
|
QA9.54 .H345 : Hammack, Richard H.
|
|
|
Book of proof / Richard Hammack.
|
Bestseller
|
2009
|
|
QA9.54 .K72 2019 : Krajíček, Jan,
|
|
|
Proof complexity / Jan Krajíček, Charles University, Prague.
Moore Stacks:Available
|
Book
|
2019
|
|
QA9.54 .L33 2001 : Laczkovich, Miklós.
|
|
|
Conjecture and proof / Miklós Laczkovich.
Moore Stacks:Available
|
Book
|
2001
|
|
QA9.54 .L47 2010eb : Lerman, M.
|
|
|
A framework for priority arguments / Manuel Lerman.
|
Bestseller
|
2010
|
|
QA9.54 .L56 2004
|
|
|
Linear Logic in Computer Science / edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scot
|
Bestseller
|
2004
|
|
QA9.54 .M34 2002eb : Maddox, Randall B.
|
|
|
Mathematical thinking and writing : a transition to abstract mathematics / Randall B. Maddox.
|
Bestseller
|
2002
|
|
QA9.54 .M66eb : Morris, Dave Witte.
|
|
|
Proofs and concepts : the fundamentals of abstract mathematics / by Dave Witte Morris and Joy Morris,
|
Bestseller
|
2016
|
|
QA9.54 .N438 2011
|
|
|
Proof Analysis : a Contribution to Hilbert's Last Problem.
|
Bestseller
|
2011
|
|
QA9.54 .P77 1991eb
|
|
|
Proof, logic, and formalization / edited by Michael Detlefsen.
|
Bestseller
|
1992
|
|
QA9.54 .S35 2010eb : Schindler, Ralf-Dieter.
|
|
|
Ways of proof theory / Ralf Schindler (ed.).
|
Bestseller
|
2010
|
|
QA9.54 .S67 2006eb : Sørensen, Morten Heine.
|
|
|
Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.
|
Bestseller
|
2006
|
|
QA9.54 .S86eb : Sundstrom, Theodore A.
|
|
|
Mathematical reasoning : writing and proof / Ted Sundstrom.
|
Bestseller
|
2014
|
|
QA9.54 .T2813 2003eb : Takeuti, Gaisi,
|
|
|
Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti ; translated by] Mariko Y
|
Bestseller
|
2003
|
|
QA9.56 : Nelson, Edward.
|
|
|
Predicative Arithmetic. (MN-32).
|
Bestseller
|
2014
|
|
QA9.56 .B75 1987eb : Bridges, D. S.
|
|
|
Varieties of constructive mathematics / Douglas Bridges, Fred Richman.
|
Bestseller
|
1987
|
|
QA9.56 .G377 2020 : Gauthier, Yvon,
|
|
|
Passages à la limite et seuils critiques : morceaux choisis = selected papers / Yvon Gauthier.
|
Bestseller
|
2020
|
|
QA9.56 .K73 1995
|
|
|
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček.
Moore Stacks:Available
|
Book
|
1995
|
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček.
|
Bestseller
|
1995
|
|
QA9.56 .M58 2016 : Mitchell, William J.,
|
|
|
Fine structure and iteration trees / William J. Mitchell, University of Florida, John R. Steel, Unive
|
Bestseller
|
2016
|
|
QA9.58
|
|
|
Apuntes de algoritmia.
|
Bestseller
|
2018
|
DESIGN AND ANALYSIS OF ALGORITHMS.
|
Bestseller
|
2020
|
Digital platforms and algorithmic subjectivities / editied by Emiliana Armano, Marco Briziarelli, Eli
|
Bestseller
|
2022
|
Engines of order : a mechanology of algorithmic techniques / Bernhard Rieder.
|
Bestseller
|
2020
|
2 additional entries
|
|
|
|
QA9.58 .A465 2018 : Amolochitis, Emmanouil,
|
|
|
Algorithms and applications for academic search, recommendation and quantitative association rule min
|
Bestseller
|
2018
|
|
QA9.58 .B47 2000 : Berlinski, David,
|
|
|
The advent of the algorithm : the idea that rules the world / David Berlinski.
Moore Stacks:Available
|
Book
|
2000
|
|
QA9.58 .E36 2008eb : Edmonds, Jeff,
|
|
|
How to think about algorithms / Jeff Edmonds.
|
Bestseller
|
2008
|
|
QA9.58 .J38 2020eb : Jaton, Florian,
|
|
|
The constitution of algorithms : ground-truthing, programming, formulating / Florian Jaton ; foreword
|
Bestseller
|
2020
|
|
QA9.58 N54eb : Nievergelt, Jurg.
|
|
|
Algorithms and data structures : with applications to graphics and geometry / Jurg Nievergelt, Klaus
|
Bestseller
|
2011
|
|
QA9.58 .P478 2016eb : Venkatachalam, Nithya.
|
|
|
Improved Scheduling Algorithm Using Dynamic Tree Construction for Wireless Sensor Networks.
|
Bestseller
|
2016
|
|
QA9.58 .R36 2003eb : Ramón Rico, Juan.
|
|
|
Esquemas algorítmicos / Juan Ramón Rico.
|
Bestseller
|
2003
|
|
QA9.58 .R544 2020 : Rieder, Bernhard,
|
|
|
Engines of Order A Mechanology of Algorithmic Techniques / Bernhard Rieder.
|
Bestseller
|
2020
|
|
QA9.58 .S63 2012eb : Soltys, Michael,
|
|
|
An introduction to the analysis of algorithms / Michael Soltys.
|
Bestseller
|
2012
|
|
QA9.59
|
|
|
Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2
|
Bestseller
|
2014
|
|
QA9.59 .B66 2002eb : Boolos, George.
|
|
|
Computability and logic.
|
Bestseller
|
2002
|
|
QA9.59 .B66 2007 : Boolos, George.
|
|
|
Computability and logic.
|
Bestseller
|
2007
|
|
QA9.59 .C655 2011eb
|
|
|
Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea
|
Bestseller
|
2011
|
|
QA9.59 .E67 2000 : Epstein, Richard L.,
|
|
|
Computability : computable functions, logic, and the foundations of mathematics.
Moore Stacks:Available
|
Book
|
2000
|
|
QA9.59 .G35 2003eb : Gallardo López, Domingo.
|
|
|
Introducción a la teoría de la computabilidad / Domingo Gallardo López, Pilar Arques Corrales, Ignaci
|
Bestseller
|
2003
|
|
QA9.59 .M35 : McNaughton, Robert.
|
|
|
Elementary computability, formal languages, and automata / Robert McNaughton.
Moore Stacks:Available
|
Book
|
1982
|
|
QA9.59 .P68 2016 : Pour-El, Marian B.
|
|
|
Computability in analysis and physics / Marian B. Pour-El, University of Minnesota, J. Ian Richards,
|
Bestseller
|
2016
|
|