English
Unordered
Journal of Symbolic Logic
Prawitz, Dag; Takeuti, Gaisi; Kreisel, Georg; Pohlers, Wolfram; Simpson, Stephen G.; Feferman, Solomon
1991 September
View book
Discover references
Feferman, Solomon
Books
4 results
English
Unordered
Journal of Symbolic Logic
Prawitz, Dag; Takeuti, Gaisi; Kreisel, Georg; Pohlers, Wolfram; Simpson, Stephen G.; Feferman, Solomon
1991 September
View book
English
Unordered
Journal of Symbolic Logic
Prawitz, Dag; Takeuti, Gaisi; Kreisel, Georg; Pohlers, Wolfram; Simpson, Stephen G.; Feferman, Solomon
1991 September
View book
English
Unordered
Journal of Symbolic Logic
Prawitz, Dag; Takeuti, Gaisi; Kreisel, Georg; Pohlers, Wolfram; Simpson, Stephen G.; Feferman, Solomon
1991 September
View book