Reproductino series:
Elsevier e-book collection on ScienceDirect
Origination:
Footnote:
Includes indexes
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
Description:
Provability, Computability and Reflection