books i collected

• [ ] Elisabeth Bouscaren: Model Theory and Algebraic Geometry
• [ ]

  Katrin Tent, Martin Ziegler: A Course in Model Theory

  Advanced

• [ ]

  David Marker: Model Theory: An Introduction

  Require some algebra knowledge. Concise.

• [ ]

  C. C. Chang, H. J. Keisler: Model Theory

  Classic reference.

• [ ] Kees Doets: Baisc Model Theory
• [ ] Maria Manzano, Ruy J. G. B. de Queiroz: Model Theory
• [ ] Wilfrid Hodges: A shorter Model Theory
• [ ]

• [ ] Irving Kaplansky: Set Theory and Metric Spaces
• [ ] Kenneth Kunen: Set Theory
• [ ]

  Kerbert B. Enderton: Elements of Set Theory

  I don't like this book's writing style. Maybe it's too old.

• [ ] A. A. Fraenkel, Y. Bar-Hillel, A. Levy: Foundations of Set Theory
• [ ] A. Shen, N. K. Vereshchagin: Basic Set Theory

• [ ] Robert I. Soare: Recursively Enumerable Sets and Degrees
• [ ] Michael R. Garey: Computers and Intractability
• [ ] Robert I. Soare: Turing Computability, Theory and Applications
• [ ] S. Barry Cooper: Computability Theory

• [ ] Stephen Cook, Phuong Nguyen: Logical Foundations of Proof Complexity
• [ ] A. S. Troelstra, H. Schwichtenberg: Basic Proof Theory

• [ ] Bart Jacobs: Categorical Logic and Type Theory
• [ ] Jonathan D. H. Smith, Anna B. Romanowska: Post Modern ALgebra
• [ ] Peter T. Johnstone: Sketches of an Elephant, a Topos Theory Compendium
• [ ] Robert Goldblatt: Topoi

• [ ] J. Roger Hindley, Jonathan P. Seldin: Lambda-Calculus and Combinators,
  an Introduction
• [ ] H. P. Barendregt: The Lambda Calculus: Its Syntax and Semantics

• [ ] P. Blackburn, J. Van Benthem, F. Wolter(Eds.): Handbook of Modal Logic
• [ ] Patrick Blackburn, Maarten de Rijke, Yde Venema: Modal Logic
• [ ] Davide Sangiorgi: Introduction to Bisimulation and Coinduction

• [ ] Derek Goldrei: Propositional and Predicate Calculus
• [ ] David Harel, Dexter Kozen, Jerzy Tiuryn: Dynamic Logic
• [ ] Bruno Courcelle, Joost Engelfriet: Graph Structure and Monadic
  Second-order Logic
• [ ] V. Wiktor Marek, Mirosław Truszczyński: Nonmonotonic Logic
• [ ] Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler: An Introduction
  to Description Logic
• [ ]

  J. Michael Dunn, Gary M. Hardegree: Algebraic Methods in Philosophical
  Logic

  I like this kind of book.

• [ ] Sergei I. Gelfand, Yuri Manin: Methods of Homological Algebra
• [ ]

  Robert Rosenbrugh, William Lawvere: Sets for Mathematics

  It's interesting from table of contents.

• [ ]

  Dominik Wodarz, Natalia L. Komarova: Dynamics of Cancer: Mathematical
  Foundations of Oncology

  TOC is interesting.

• [ ] Bernhard Ganter, Gerd Stumme, Rudolf Wille(Eds.): Formal Concept
  Analysis, Foundations and Applications
• [ ] David Eisenbud: Commutative Algebra with a View Toward Algebraic
  Geometry
• [ ] Stanley Burris, H. P. Sankappanavar: A course in Universal Algebra
• [ ] G. Grätzer: Universal Algebra
• [ ] G. Grätzer: Lattice Theory
• [ ] B. A. Davey, H. A. Priestley: Introduction to Lattices and Order
• [ ] G. H. Hardy, E. M. Wright: An Introduction to the Theory of Numbers
• [ ] James Munkres: Topology
• [ ] H. L. Royden, P. M. Fitzpatrick: Real Analysis
• [ ] Tom Leinster: Basic Category Theory
• [X] Steve Awodey: Category Theory
• [ ] Haim Brezis: Functional Analysis, Sobolev Spaces and Partial
  Differential Equations
• [ ] Saunders Mac Lane, Leke Moerdijk: Sheaves in Geometry and Logic
• [ ] Jiří Adámek, Horst Herrlich, George E. Strecker: Abstract and
  Concrete Categories: The Joy of Cats
• [ ] D. E. Rydeheard, R. M. Burstall: Computational Category Theory
• [ ] Ernest G. Manes: Algebraic Theories
• [ ] Francis Borceux: Handbook of Categorical Algebra
• [ ] Harold Abelson, Andrea A. diSessa: Turtle Geometry: The Computer as a
  Medium for Exploring Mathematics

Personally I don't like statistics though it's quite interesting

• [ ] Patrick Blackburn, Johans Bos: Representation and Inference for Natural
  Language
• [ ] Marcus Kracht: The Mathematics of Language

• [ ] Perter Van Inwagen: Metaphysics
• [ ] Leon Horsten, Philip Welch: Gödel's Disjunction: the scope and limits
  of mathematical knowledge
• [ ] N. Zalta: Principia Logico-Metaphysica

• [ ] Ivan Bratko: Prolog Programming for Artificial Intelligence
• [ ] Richard A. O'keefe: The Craft of Prolog
• [ ] Melvin Fitting: Computability Theory, Semantics, and Logic Programming
• [ ] Pascal Hitzler, Anthony Seda: Mathematical Aspects of Logic Programming
  Semantics
• [ ] Leon Sterling, Ehud Shapiro: The Art of Prolog
• [ ] Kees Doets: From Logic to Logic Programming

• [ ] Zhaohui Luo: Computation and Reasoning A Type Theory for Computer
  Science
• [ ] Rober Harper: Foundations for Programming Languages
• [ ] Carl A. Gunter: Semantics of Programming Languages Structures and
  Techniques
• [ ] John C. Reynolds: Theories of Programming Languages
• [ ] J. Roger Hindley: Basic Simple Type Theory
• [ ]
• [ ]

  Matthias Felleisen, Matthew Flatt: Programming Languages and Lambda
  Calculi

  A lecture note.

• [ ] Richard Bird, Oege de Moor: Algebra of Programming
• [ ] Morten Heine Sørensen, Paweł Urzyczyn: Lectrues on the Curry-Howard
  Isomorphism
• [ ] Roy L. Crole: Categories for Types
• [ ] Object Orientation with Parallelism and Persistence
• [ ] Bart Jacobs: Introduction to Coalgebra
• [ ] Daniel P. Freidman, Mitchell Wand: Esstentials of Programming Languages

• [ ] Mark S. Daskin: Network and Discrete Location: Models, Algorithms, and
  Applications
• [ ] Ding-Zhu Du, Peng-Jun Wan: Connected Dominating Set: Theory and
  Applications
• [ ] James G. Oxley: Matroid Theory
• [ ] Douglas B. West: Introduction to Graph Theory

• [ ] Ronald J. Branchman, Hector J. Levesque: Knowledge Representation and
  Reasoning
• [ ] Stuart Russel, Peter Norvig: Artificial Intelligence: A Modern Approach
• [ ] Christopher M. Bishop: Pattern Recoginition and Machine Learning

• [ ] Daniel P. Bovet, Marco Cesati: Understanding the Linux Kernel