Logic Colloquium '95

Discover the fascinating world of mathematical logic with Logic Colloquium '95, expertly edited by Johann A. Makowsky. Published by Cambridge University Press in 2017, this hardback volume spans an impressive 365 pages and showcases the proceedings from the 1995 Annual European Summer Meeting of the Association of Symbolic Logic.

This comprehensive collection features a diverse array of papers addressing all facets of classical mathematical logic. Additionally, readers will find a tutorial on the latest advancements in theoretical computer science, alongside insightful plenary lectures that delve into the foundational aspects and evolution of set theory. Perfect for scholars and enthusiasts alike, Logic Colloquium '95 is an essential addition to any library focused on logic and mathematics.