On predicate provability logics and binumerations of fragments of Peano arithmetic
Kurahashi, TaishiVolume:
52
Language:
english
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s00153-013-0349-4
Date:
November, 2013
File:
PDF, 200 KB
english, 2013