Logic and Combinatorics

Contains articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California. This work consists of papers dealing with various aspects of 'unprovable theorems and fast-growing functions'.