The lecture series on the Theory of the Top was originally given as a dedication to Göttingen University by Felix Klein in 1895, but has since found broader appeal. The Theory of the Top: Volume I. Introduction to the Kinematics and Kinetics of the Top is the first of a series of four self-contained English translations that provide insights into kinetic theory and kinematics.

Based on a capstone course that the author taught to upper division undergraduate students with the goal to explain and visualize the connections between different areas of mathematics and the way different subject matters flow from one another, this book is suitable for those with a basic knowledge of high school mathematics.

A run-away bestseller from the moment it hit the market in late 1999. This impressive, thick softcover offers mathematicians and mathematical physicists the opportunity to learn about the beautiful and difficult subjects of quantum field theory and string theory. Cover features an intriguing cartoon that will bring a smile to its intended audience.

Christopher Bek has produced a revolutionary physics theory and claims that this theory of one (2001) solves the greatest scientific problem of all time by uniting relativity theory (1905) with quantum theory (1925). According to Bek, it proves that the universe is bounded at light speed and Planck's constant, that there is only one photon (i.e. a being of light), that one photon is God, and that reality is an illusion--meaning the moon does not exist when no one is looking at it. He says that physicists are ignoring the theory because it effectively pulls-their-pants-down. The theory is dead simple and can be explained in just a few minutes. The theory of one brings the reader face to face with the stunning realization that the universe is bounded—rather than unbounded, as Einstein and others have asserted. The theory of one delivers the ocean. It is the theory that spells the end of physics. It is the monolith of 2001—a spacetime odyssey.

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.