Iterated Inductive Definitions and Subsystems of Analysisby Wilfried Buchholz; Wolfram Pohlers; Wilfried Sieg
- 期刊名称The Journal of Symbolic Logic
- 作者Review by: Helmut Pfeiffer
- 卷第59卷
- 期第2期
- 印刷ISSN0022-4812
- 文件大小405.72KB
- 发表时间1994-06
- DOI10.2307/2275417
- 页码668-670
同期刊推荐
{BLR 1649} Patent Interferences - Tomatoes - Antisense TechnologyBiotechnology Law Report · 1994
{BLR 718} FDA - Cell Lines - RegulationBiotechnology Law Report · 1987
Rethinking the Gene PatentMorrison, Alan J. · Biotechnology Law Report · 2010
PatentsBiotechnology Law Report · 2004
{BLR 1655} Epo - AmgenBiotechnology Law Report · 1994
{BLR 665} Genex - Searle - Litigation - PhenylalanineBiotechnology Law Report · 1987
On the MoveBiotechnology Law Report · 2011
United States SenatePorter, John Edward · Biotechnology Law Report · 1997