A new breed of low Earth orbit satellites is making planetary-scale observation and analysis ubiquitous. This book explores how this condition feeds spatially e

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Geo

This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets,

This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a