Provability with Finitely Many Variables
Robin Hirsch, Ian Hodkinson and Roger D. MadduxVolume:
8
Language:
english
Journal:
The Bulletin of Symbolic Logic
DOI:
10.2307/3062204
Date:
September, 2002
File:
PDF, 671 KB
english, 2002