Translator Disclaimer
December 2002 Review: Michael Rathjen, Samuel R. Buss, Petr Hájek, Pavel Pudlák, The Superjump in Martin-Löf Type Theory
Michael Möllerfeld
Bull. Symbolic Logic 8(4): 538-538 (December 2002). DOI: 10.2178/bsl/1182353932
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
1 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.8 • No. 4 • December 2002
Back to Top