Description
Summary:Provability, Computability and Reflection
Item Description:Sponsored by the College of Liberal Arts of Temple University and the Association for Symbolic Logic
Physical Description:[viii], 317 pages
ISBN:9780080954790