The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic |
| |
Authors: | Albert Visser |
| |
Affiliation: | (1) Department of Philosophy, University of Utrecht, Utrecht, The Netherlands |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|