|
|
|
| Home > Catalog > Maths - logic, categories and sets |
 |
Book search |
Maths - logic, categories and setsAbsolute Measurable SpacesTogo Nishiura (Hardback) ISBN: 0521875560 Affine Hecke Algebras and Orthogonal Polynomials I. G. Macdonald (Hardback) ISBN: 0521824729 Algorithms on Strings Maxime Crochemore, Christophe Hancart, Thierry Lecroq (Hardback) ISBN: 0521848997 Analysis and Logic C. Ward Henson, José Iovino, Alexander S. Kechris, Edward Odell, Edited by Catherine Finet, Christian Michaux (Paperback) ISBN: 0521648610 Basic Simple Type Theory J. Roger Hindley (Hardback) ISBN: 0521465184 Bounded Arithmetic, Propositional Logic and Complexity Theory Jan Krajicek (Hardback) ISBN: 0521452058 Categorical Foundations Edited by Maria Cristina Pedicchio, Walter Tholen (Hardback) ISBN: 0521834147 Categories and Computer Science R. F. C. Walters (Hardback) ISBN: 0521419972 Categories for Types Roy L. Crole (Hardback) ISBN: 0521450926 Codes and Automata Jean Berstel, Dominique Perrin, Christophe Reutenauer (Hardback) ISBN: 052188831X Computability, Enumerability, Unsolvability Edited by S. B. Cooper, T. A. Slaman, S. S. Wainer (Paperback) ISBN: 0521557364 Conceptual Mathematics F. William Lawvere, Stephen H. Schanuel (Hardback) ISBN: 0521894859 Conceptual Mathematics F. William Lawvere, Stephen H. Schanuel (Paperback) ISBN: 052171916X Conjecture and Proof Miklós Laczkovich (Paperback) ISBN: 0883857227 Continuous Lattices and Domains G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott (Hardback) ISBN: 0521803381 Counting on Frameworks Jack E. Graver (Paperback) ISBN: 0883853310 The Covering Property Axiom, CPA Krzysztof Ciesielski, Janusz Pawlikowski (Hardback) ISBN: 0521839203 Dependence Logic Jouko Väänänen (Hardback) ISBN: 0521876591 Dependence Logic Jouko Väänänen (Paperback) ISBN: 0521700159 Derivation and Computation H. Simmons (Hardback) ISBN: 0521771730 Descriptive Set Theory and Dynamical Systems Edited by M. Foreman, A. S. Kechris, A. Louveau, B. Weiss (Paperback) ISBN: 0521786444 Directed Algebraic Topology Marco Grandis (Hardback) ISBN: 0521760364 Elements of Automata Theory Jacques Sakarovitch, Translated by Reuben Thomas (Hardback) ISBN: 0521844258 Essentials of Mathematics Margie Hale (Hardback) ISBN: 0883857294 Estimation, Inference and Specification Analysis Halbert White (Hardback) ISBN: 0521252806 The Evolution of Logic W. D. Hart (Hardback) ISBN: 0521766818 The Evolution of Logic W. D. Hart (Paperback) ISBN: 0521747724 Field Theory and its Classical Problems Charles Robert Hadlock (Paperback) ISBN: 088385032X First Steps in Modal Logic Sally Popkorn (Hardback) ISBN: 052146482X Forcing Idealized Jindrich Zapletal (Hardback) ISBN: 0521874262 The Foundations of Mathematics in the Theory of Sets John P. Mayberry (Hardback) ISBN: 0521770343 A Framework for Priority Arguments Manuel Lerman (Hardback) ISBN: 0521119693 Galois Theories Francis Borceux, George Janelidze (Hardback) ISBN: 0521803098 Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I Edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel (Hardback) ISBN: 0521899516 Groups Edited by T. W. Müller (Paperback) ISBN: 0521542871 Handbook of Categorical Algebra Francis Borceux (Hardback) ISBN: 0521441803 Handbook of Categorical Algebra Francis Borceux (Hardback) ISBN: 052144179X Handbook of Categorical Algebra Francis Borceux (Hardback) ISBN: 0521441781 Handbook of Practical Logic and Automated Reasoning John Harrison (Hardback) ISBN: 0521899575 Higher Operads, Higher Categories Tom Leinster (Paperback) ISBN: 0521532159 A Higher-Dimensional Sieve Method Harold G. Diamond, H. Halberstam, William F. Galway (Hardback) ISBN: 0521894875 Hilbert's Tenth Problem Alexandra Shlapentokh (Hardback) ISBN: 0521833604 How to Prove It Daniel J. Velleman (Hardback) ISBN: 0521861241 How to Prove It Daniel J. Velleman (Paperback) ISBN: 0521675995 Inductive Reasoning Edited by Aidan Feeney, Evan Heit (Hardback) ISBN: 0521856485 Inductive Reasoning Edited by Aidan Feeney, Evan Heit (Paperback) ISBN: 0521672449 An Introduction to Gödel's Theorems Peter Smith (Hardback) ISBN: 0521857848 An Introduction to Gödel's Theorems Peter Smith (Paperback) ISBN: 0521674530 Introduction to Lattices and Order B. A. Davey, H. A. Priestley (Paperback) ISBN: 0521784514 An Introduction to Mathematical Reasoning Peter J. Eccles (Hardback) ISBN: 0521592690 An Introduction to Mathematical Reasoning Peter J. Eccles (Paperback) ISBN: 0521597188 Kurt Gödel Edited by Solomon Feferman, Charles Parsons, Steven G. Simpson (Hardback) ISBN: 0521115140 Lambda-Calculus and Combinators J. Roger Hindley, Jonathan P. Seldin (Hardback) ISBN: 0521898854 Lectures in Logic and Set Theory George Tourlakis (Hardback) ISBN: 0521753740 Lectures in Logic and Set Theory George Tourlakis (Hardback) ISBN: 0521753732 Linear Logic in Computer Science Edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott (Paperback) ISBN: 0521608570 Logic Colloquium 2004 Edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella (Hardback) ISBN: 0521884241 Logic Colloquium 2005 Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel (Hardback) ISBN: 052188425X Logic Colloquium 2006 Edited by S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen (Hardback) ISBN: 0521110815 Logic and Information Keith Devlin (Hardback) ISBN: 0521410304 Logic as Algebra Paul Halmos, Steven Givant (Paperback) ISBN: 0883853272 Logic in Computer Science Michael Huth, Mark Ryan (Paperback) ISBN: 052154310X Logic, Induction and Sets Thomas Forster (Hardback) ISBN: 0521826217 Logic, Induction and Sets Thomas Forster (Paperback) ISBN: 0521533619 Logical Foundations of Proof Complexity Stephen Cook, Phuong Nguyen (Hardback) ISBN: 052151729X The Logical Status of Diagrams Sun-Joo Shin (Hardback) ISBN: 052146157X The Mathematics of Logic Richard W. Kaye (Hardback) ISBN: 0521882192 The Mathematics of Logic Richard W. Kaye (Paperback) ISBN: 052170877X Mathematics, Models, and Modality John P. Burgess (Hardback) ISBN: 0521880343 Model Theory Wilfrid Hodges (Hardback) ISBN: 0521304423 Model Theory with Applications to Algebra and Analysis Edited by Zoé Chatzidakis, Dugald Macpherson, Anand Pillay, Alex Wilkie (Paperback) ISBN: 0521694841 Model Theory with Applications to Algebra and Analysis Edited by Zoé Chatzidakis, Dugald Macpherson, Anand Pillay, Alex Wilkie (Paperback) ISBN: 0521709083 Model Theory, Algebra, and Geometry Edited by Deirdre Haskell, Anand Pillay, Charles Steinhorn (Hardback) ISBN: 0521780683 Models and Computability Edited by S. Barry Cooper, John K. Truss (Paperback) ISBN: 0521635500 Multiple Forcing T. Jech (Hardback) ISBN: 0521266599 Natural Dualities for the Working Algebraist David M. Clark, Brian A. Davey (Hardback) ISBN: 0521454158 Numbers, Groups and Codes J. F. Humphreys, M. Y. Prest (Paperback) ISBN: 052154050X Phenomenology, Logic, and the Philosophy of Mathematics Richard Tieszen (Hardback) ISBN: 0521837820 Phenomenology, Logic, and the Philosophy of Mathematics Richard Tieszen (Paperback) ISBN: 0521119987 Practical Foundations of Mathematics Paul Taylor (Hardback) ISBN: 0521631076 A Primer of Infinitesimal Analysis John L. Bell (Hardback) ISBN: 0521887186 Principia Mathematica 3 volume set Alfred North Whitehead, Bertrand Russell (3 Hardback books) ISBN: 052106791X Proof Theory Edited by Peter Aczel, Harold Simmons, Stanley S. Wainer (Hardback) ISBN: 052141413X Proofs and Confirmations David M. Bressoud (Paperback) ISBN: 0521666465 Proofs that Really Count Arthur T. Benjamin, Jennifer J. Quinn (Hardback) ISBN: 0883853337 Proofs without Words II Roger B. Nelsen (Paperback) ISBN: 0883857219 Purity, Spectra and Localisation Mike Prest (Hardback) ISBN: 0521873088 Quantum Groups Ross Street (Paperback) ISBN: 0521695244 Relational Mathematics Gunther Schmidt (Hardback) ISBN: 0521762685 Rippling: Meta-Level Guidance for Mathematical Reasoning Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland (Hardback) ISBN: 052183449X A Second Course in Formal Languages and Automata Theory Jeffrey Shallit (Hardback) ISBN: 0521865727 Semimodular Lattices Manfred Stern (Hardback) ISBN: 0521461057 Set Theory Andras Hajnal, Peter Hamburger, Translated by Attila Mate (Hardback) ISBN: 0521593441 Set Theory Andras Hajnal, Peter Hamburger, Translated by Attila Mate (Paperback) ISBN: 052159667X Set Theory for the Working Mathematician Krzysztof Ciesielski (Hardback) ISBN: 0521594413 Sets and Proofs Edited by S. Barry Cooper, John K. Truss (Paperback) ISBN: 0521635497 Sets for Mathematics F. William Lawvere, Robert Rosebrugh (Hardback) ISBN: 0521804442 Sets for Mathematics F. William Lawvere, Robert Rosebrugh (Paperback) ISBN: 0521010608 Spectral Generalizations of Line Graphs Dragoš Cvetkovic, Peter Rowlinson, Slobodan Simic (Paperback) ISBN: 0521836638 Sperner Theory Konrad Engel (Hardback) ISBN: 0521452066 Stable Domination and Independence in Algebraically Closed Valued Fields Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson (Hardback) ISBN: 0521889812 Subsystems of Second Order Arithmetic Stephen G. Simpson (Hardback) ISBN: 052188439X Synthetic Differential Geometry Anders Kock (Paperback) ISBN: 0521687381 Theories of Computability Nicholas Pippenger (Hardback) ISBN: 0521553806 A Tour through Mathematical Logic Robert S. Wolf (Hardback) ISBN: 0883850362 A Tribute to Paul Erdos Edited by A. Baker, B. Bollobás, A. Hajnal (Hardback) ISBN: 0521381010 Zariski Geometries Boris Zilber (Paperback) ISBN: 0521735602 |
Services
|
