From the reviews: Model theory is the study of the logical properties of mathematical structures. Finite model theory arises when we focus our attention on finite structures, such as finite graphs (graphs with a finite number of nodes).
Are we alone in the Universe? Was there anything before the Big Bang? Are there other universes? What are sunspots? What is a shooting star? Was there ever life on Mars? This book answers the fascinating questions that we have been asking ourselves for hundreds of years. Using non-technical language, the authors summarize current astronomical knowledge, taking care to include the important underlying scientific principles. Plentiful color illustrations, graphs and photographs lend further weight to their simple yet meticulously written explanations.
Matroid Applications (Encyclopedia of Mathematics and its Applications)This volume, the third in a sequence that began with The Theory of Matroids (1986) and Combinatorial Geometries (1987), concentrates on the applications of matroid theory to a variety of topics from geometry (rigidity and lattices), combinatorics (graphs, codes, and designs) and operations research (the greedy algorithm).
For the first time, every finite group is represented in the form of a graph in this book. This study is significant because properties of groups can be immediately obtained by looking at the graphs of the groups.