Lecture Notes in Logic

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in the Perspectives in Logic series, Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the Lα-hierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the Jα-hierarchy and the Jensen 'fine-structure theory'.

Aristotle thought of his logic and methodology as applications of the Socratic questioning method. In particular, logic was originally a study of answers necessitated by earlier answers. For Aristotle

Who's the smarty pants in your family? Packed with number and logic puzzles, riddles, dingbats, codes and much more, this fun and challenging travel-themed activity book is perfect for car journeys, h

This timely review provides a self-contained introduction to the mathematical theory of stationary black holes and a self-consistent exposition of the corresponding uniqueness theorems. The opening chapters examine the general properties of space-times admitting Killing fields and derive the Kerr-Newman metric. Strong emphasis is given to the geometrical concepts. The general features of stationary black holes and the laws of black hole mechanics are then reviewed. Critical steps towards the proof of the 'no-hair' theorem are then discussed, including the methods used by Israel, the divergence formulae derived by Carter, Robinson and others, and finally the sigma model identities and the positive mass theorem. The book is rounded off with an extension of the electro-vacuum uniqueness theorem to self-gravitating scalar fields and harmonic mappings. This volume provides a rigorous textbook for graduate students in physics and mathematics. It also offers an invaluable, up-to-date referenc

A student practice guide that accompanies the Masterwork Classics. Invaluable notes on technique, style and listening activities for every piece in the Masterwork Classics books, plus teacher's notes

The mathematical theory underlying many sporting activities is of considerable interest to both applied mathematicians and sporting enthusiasts alike. Here Professor de Mestre presents a rigorous account of the techniques applied to the motion of projectiles. This equips the reader for the final section of the book in which an enlightening collection of sporting applications is considered, ranging from soccer to table-tennis and high-jump to frisbees. The presentation should be accessible to most undergraduate science students and provides an ideal setting for the development of mathematical modelling techniques.

This is a collection of Greek and Latin inscriptions and papyri in English translation. They are all primary sources for our knowledge of the history of Rome from the first emperor, Augustus, to Hadrian. The theme of the present collection is the political and military activity of the Roman emperors to the period of Hadrian, the men who carried out their policies, the institutions of their administrations, the wars they conducted, the reaction of their subjects, the imperial ruler cult, their letters and orders. A second part is concerned with the society of the ordinary citizen or provincial subject in his daily life. Brief commentary and notes accompany the translations, making this book a collection of historical material to supplement the major literary sources like Tacitus, Suetonius, Dio and others in the study of Roman imperial history. This book will be useful to students and teachers of Roman history and classical civilisation.