The chapters in this volume cover the full range of Plato's interests, including ethics, political philosophy, epistemology, metaphysics, aesthetics, religion, mathematics, and psychology. The introduction provides general guidance to approaching Plato's corpus and the chapters introduce key ideas and scholarly debates.

This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an excellent introduction for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for professional logicians.