| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118842 | Annals of Pure and Applied Logic | 2005 | 8 Pages |
Abstract
This paper presents a translation which allows one to describe constructive provability (in the sense of usual mathematics) within classical first-order logic.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Matthias Baaz,