Gödel's Dialectica interpretation and its two-way stretch (1997)
by
Solomon Feferman
| Venue: | in Computational Logic and Proof Theory (G. Gottlob et al eds.), Lecture Notes in Computer Science 713 |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Feferman97gödel'sdialectica,
author = {Solomon Feferman},
title = {Gödel's Dialectica interpretation and its two-way stretch},
booktitle = {in Computational Logic and Proof Theory (G. Gottlob et al eds.), Lecture Notes in Computer Science 713},
year = {1997},
pages = {23--40}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this article has appeared in Computational Logic and Proof Theory (Proc. 3
