Provability with Finitely Many Variables
Hirsch, Robin, Hodkinson, Ian, Maddux, Roger D.Volume:
8
Language:
english
Journal:
Bulletin of Symbolic Logic
DOI:
10.2178/bsl/1182353893
Date:
September, 2002
File:
PDF, 312 KB
english, 2002