num_pages: 2
language: English
title: Provability, Computability and Reflection, Volume 65
publisher: Elsevier Science