|
|
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
|
|
QA9.59 .S25 1985 : Salomaa, Arto.
|
|
|
Computation and automata / Arto Salomaa.
Moore Stacks:Available
|
Book
|
1985
|
|
QA9.59 .S25 1985eb : Salomaa, Arto.
|
|
|
Computation and automata / Arto Salomaa.
|
Bestseller
|
1985
|
|
QA9.6
|
|
|
General recursion theory : an axiomatic approach / Jens E. Fenstad.
|
Bestseller
|
2016
|
Recursion theory / Joseph R. Shoenfield, Duke University, North Carolina.
|
Bestseller
|
2016
|
|
QA9.6 .C46 2015 : Chong, C.-T.
|
|
|
Recursion theory : computational aspects of definability / Chi Tat Chong, Liang Yu.
|
Bestseller
|
2015
|
|
QA9.6 .C66 1996eb
|
|
|
Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper,
|
Bestseller
|
1996
|
|
QA9.6 .E74 2014eb
|
|
|
E-recursion, forcing and C*-algebras / editors, Chitat Chong, National University of Singapore, Singa
|
Bestseller
|
2014
|
|
QA9.6 .L63 1979eb : Logic Colloquium
|
|
|
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds,
|
Bestseller
|
1980
|
|
QA9.6 .S23 2016 : Sacks, Gerald E.,
|
|
|
Higher recursion theory / Gerald E. Sacks, Harvard University.
|
Bestseller
|
2016
|
|
QA9.6 .S68 1993eb : Smullyan, Raymond M.
|
|
|
Recursion theory for metamathematics / Raymond M. Smullyan.
|
Bestseller
|
1993
|
|
QA9.6 .W67 2005eb
|
|
|
Computational prospects of infinity. Part II, Presented talks / editors, Chitat Chong [and others].
|
Bestseller
|
2008
|
Computational prospects of infinity. Pt. 1, Tutorials / editors, Chitat Chong [and others].
|
Bestseller
|
2008
|
|
QA9.615
|
|
|
Aritmetica pitagorica y el triangulo de pascal : una iniciacion al pensamiento recursivo.
|
Bestseller
|
2018
|
|
QA9.615 .L67 1994eb : Lorentz, Richard.
|
|
|
Recursive algorithms / Richard Lorentz.
|
Bestseller
|
1994
|
|
QA9.62 .H56 2016 : Hinman, Peter G.,
|
|
|
Recursion-theoretic hierarchies / Peter G. Hinman.
|
Bestseller
|
2016
|
|
QA9.63 .L47 2016 : Lerman, M.
|
|
|
Degrees of unsolvability : local and global theory / Manuel Lerman.
|
Bestseller
|
2016
|
|
QA9.63 .L48 : Lewis, Harry R.
|
|
|
Unsolvable classes of quantificational formulas / Harry R. Lewis.
Moore Stacks:Available
|
Book
|
1979
|
|
QA9.64
|
|
|
Fuzzy logic control in energy systems : with design applications in MATLAB /Simulink / İsmail H. Alta
|
Bestseller
|
2017
|
Fuzzy logic for beginners / Masao Mukaidono.
|
Bestseller
|
2001
|
Hybrid algorithms, techniques and implementations of fuzzy logic / Ivan Stanimirović.
|
Bestseller
|
2019
|
|
QA9.64 .B47 2008eb : Bergmann, Merrie.
|
|
|
An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / Merrie
|
Bestseller
|
2008
|
|
QA9.64 .C66 2011
|
|
|
Concepts and fuzzy logic / edited by Radim Belohlavek and George J. Klir.
|
Bestseller
|
2011
|
|
QA9.64 .C69 2005eb : Cox, Earl.
|
|
|
Fuzzy modeling and genetic algorithms for data mining and exploration / Earl Cox.
|
Bestseller
|
2005
|
|
QA9.64 .L465 1998eb : Leondes, Cornelius T.
|
|
|
Fuzzy logic and expert systems applications / edited by Cornelius T. Leondes.
|
Bestseller
|
1998
|
|
QA9.65 : Lindström, Per,
|
|
|
Aspects of Incompleteness / Per Lindstrom, University of Gothenburg, Sweden.
|
Bestseller
|
2017
|
|
QA9.65 .C43 2007eb : Chaitin, Gregory J.
|
|
|
Thinking about Gödel and Turing : essays on complexity 1970-2007 / Gregory J Chaitin ; with a forewor
|
Bestseller
|
2007
|
|
QA9.65 .G46 1984 : Gensler, Harry J.,
|
|
|
Godel's theorem simplified / Harry J. Gensler.
Moore Stacks:Available
|
Book
|
1984
|
|
QA9.65 .G63 1988
|
|
|
Gödel's theorem in focus / edited by S.G. Shanker.
Moore Stacks:DUE 05-10-24 12:00AM
|
Book
|
1988
|
|
QA9.65 .K87 2011eb
|
|
|
Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz, Christos
|
Bestseller
|
2011
|
|
QA9.65 .N34 2005eb : Nagel, Ernest,
|
|
|
Gödel's proof / Ernest Nagel and James R. Newman.
|
Bestseller
|
2005
|
|
QA9.65 .S69 1992eb : Smullyan, Raymond M.
|
|
|
Gödel's incompleteness theorems / Raymond M. Smullyan.
|
Bestseller
|
1992
|
|
QA9.7
|
|
|
The Birth of Model Theory : Lowenheim's Theorem in the Frame of the Theory of Relatives.
|
Bestseller
|
2008
|
Bounded variable logics and counting : a study in finite models / Martin Otto.
|
Bestseller
|
2017
|
Model theory of fields / David Marker, Margit Messmer, Anand Pillay.
|
Bestseller
|
2017
|
Model theory with applications to algebra and analysis / [edited by] Zoé Chatzidakis [and others]. Vo
|
Bestseller
|
2008
|
3 additional entries
|
|
|
|
QA9.7 .B35 2016eb : Baldwin, John T.,
|
|
|
Fundamentals of stability theory / John T. Baldwin, University of Illinois, Chicago.
|
Bestseller
|
2016
|
|
QA9.7 .B35 2018 : Baldwin, John T.,
|
|
|
Model theory and the philosophy of mathematical practice : formalization without foundationalism / Jo
|
Bestseller
|
2018
|
|
QA9.7 .B84 2016eb : Buechler, Steven,
|
|
|
Essential stability theory / Steven Buechler.
|
Bestseller
|
2016
|
|
QA9.7 .C37 2011eb : Casanovas, Enrique,
|
|
|
Simple theories and hyperimaginaries / Enrique Casanovas.
|
Bestseller
|
2011
|
|
QA9.7 .D35 1987eb : Dales, H. G.
|
|
|
An introduction to independence for analysts / H.G. Dales, W.H. Woodin.
|
Bestseller
|
1987
|
|
QA9.7 .D58 2006eb
|
|
|
Distribution models theory / editors Rafael Herrerías Pleguezuelo, José Callejón Céspedes, and José M
|
Bestseller
|
2006
|
|
QA9.7 .E344 2013eb
|
|
|
Effective mathematics of the uncountable / edited by Noam Greenberg, Denis Hirschfeldt, Joel David Ha
|
Bestseller
|
2013
|
|
QA9.7 .F565 2011eb
|
|
|
Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn.
|
Bestseller
|
2011
|
|
QA9.7 .F75 2000eb : Friedman, Sy D.,
|
|
|
Fine structure and class forcing / Sy D. Friedman.
|
Bestseller
|
2000
|
|
QA9.7 .H377 2007 : Haskell, Deirdre,
|
|
|
Stable Domination and Independence in Algebraically Closed Valued Fields.
|
Bestseller
|
2007
|
|
QA9.7 .H64 1993 : Hodges, Wilfrid.
|
|
|
Model theory / Wilfrid Hodges.
Moore Stacks:Available
|
Book
|
1993
|
|
QA9.7 .H64 1993eb : Hodges, Wilfrid.
|
|
|
Model theory / Wilfrid Hodges.
|
Bestseller
|
1993
|
|
QA9.7 .K56 2014eb : Kim, Byungham.
|
|
|
Simplicity theory / Byungham Kim.
|
Bestseller
|
2014
|
|
QA9.7 .M58 2016
|
|
|
Model-theoretic logics / edited by J. Barwise and S. Feferman.
|
Bestseller
|
2016
|
|
QA9.7 .M636 1997eb
|
|
|
Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans.
|
Bestseller
|
1997
|
|
QA9.7 .M68 2011eb
|
|
|
Motivic integration and its interactions with model theory and non-Archimedean geometry / edited by R
|
Bestseller
|
2011
|
Motivic integration and its interactions with model theory and non-Archimedean geometry. Volume 1 / e
|
Bestseller
|
2011
|
|
QA9.7 .P74 1988eb : Prest, Mike.
|
|
|
Model theory and modules / Mike Prest.
|
Bestseller
|
1988
|
|
QA9.7 .S537 2009eb : Simpson, Stephen G.
|
|
|
Subsystems of second order arithmetic / Stephen G. Simpson.
|
Bestseller
|
2009
|
|