Audrey


Book Description










Dot-font


Book Description

A series of critical essays and insights about graphic design and typography.




Lord of Light


Book Description

Earth is long since dead. On a colony planet, a band of men has gained control of technology, made themselves immortal, and now rules their world as the gods of the Hindu pantheon. Only one dares oppose them: he who was once Siddhartha and is now Mahasamatman. Binder of Demons. Lord of Light.




The Structure of Proof


Book Description

For a one-semester freshman or sophomore level course on the fundamentals of proof writing or transition to advanced mathematics course. Rather than teach mathematics and the structure of proofs simultaneously, this text first introduces logic as the foundation of proofs and then demonstrates how logic applies to mathematical topics. This method ensures that the students gain a firm understanding of how logic interacts with mathematics and empowers them to solve more complex problems in future math courses.




The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal


Book Description

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.




Revival of the Fittest


Book Description

New technology has dramatically upgraded the appearance and encouraged the proliferation of many contemporary versions of the great classic typefaces. This volume, from the publishers of Print magazine, explores the phenomenon creating a surge of interest in these revivals. Illustrated with digital versions of Bodoni, Caslon, Baskerville and others, these faces are contrasted with their mechanical originals in settings for magazines, books, ads and Web sites. Also included are interviews with leading typeface revivalists such as Jonathan Hoefler, Tobias Frere-Jones and Matthew Carter who comment on the appeal of their versions of these faces, as well as type designers such as Johnathan Barnbrook who have been influenced by the classics in developing exciting original creations. With innovative applications of the featured faces, the book seeks to demonstrate that classic means cutting edge in the digital age.




Models and Ultraproducts


Book Description

This first-year graduate text assumes only an acquaintance with set theory to explore homogeneous universal models, saturated structure, extensions of classical first-order logic, and other topics. 1974 edition.