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.

Humboldt-Universität zu Berlin

1. Introduction to the study of Plato David Ebrey and Richard Kraut; 2. Plato in his context T. H. Irwin; 3. Stylometry and chronology Leonard Brandwood; 4. Plato's Socrates and his conception of philosophy Eric Brown; 5. Being good at being bad: Plato's Hippias Minor Agnes Callard; 6. Inquiry in the Meno Gail Fine; 7. Why eros? Suzanne Obdrzalek; 8. Plato on philosophy and the mysteries Gábor Betegh; 9. The unfolding account of the forms in the Phaedo David Ebrey; 10. The defense of justice in Plato's republic Richard Kraut; 11. Plato on poetic creativity: A revision Elizabeth Asmis; 12. Betwixt and between: Plato on mathematical objects Henry Mendell; 13. Another good-bye to the third man Constance C. Meinwald; 14. Plato's Sophist on false statements Michael Frede; 15. Cosmology and human nature in the Timaeus Emily Fletcher; 16. The fourfold classification and Socrates' craft analogy in the Philebus Verity Harte; 17. Law in Plato's late politics Rachana Kamtekar and Rachel Singpurwalla.