Review: Stephen G. Simpson, Subsystems of Second Order Arithmetic
Review: Stephen G. Simpson, Subsystems of Second Order Arithmetic
复制标题
评论：Stephen G. Simpson，二阶算术子系统
DOI：
10.2307/2586635
复制
发表时间：
1999
影响因子：
0.6
通讯作者：
Peter A. Cholak
中科院分区：
文献类型：
--
作者：
Peter A. Cholak
该期刊在符号逻辑领域审查了精选的书籍和文章。评论部分由Herbert Enderton，Matthew Foreman，Gerhard Jager，Penelope Maddy和Philip Scowcroft编辑。要求作者和出版商将书籍副本发送给《符号逻辑杂志》，U.C.L.A.，U.C.L.A.，洛杉矶，加利福尼亚州90095，美国90095，在一份评论中，参考文献“ xliii 148”在《期刊》第43卷的第148页上，或对审查本身（其中包含完整的书目信息供回顾出版物）。 “ LV 347”是指第55卷第347页上审查或列出的评论之一或一份出版物，依赖于上下文，以表明这是指的意思。引用“ LIII 318（3）”是第53卷第318页的第三项，即van Heijenoort的私密和模糊性，“ LX 684（8）是指第60页的第684页，第684页，第684页，第684页，也就是说，对于塔斯基的真理和证据，例如67i或1119第1卷，第121-218页。
The JOURNAL reviews selected books and articles in the field of symbolic logic. The Reviews Section is edited by Herbert Enderton, Matthew Foreman, Gerhard Jager, Penelope Maddy, and Philip Scowcroft. Authors and publishers are requested to send, for review, copies of books to The Journal of Symbolic Logic, U.C.L.A., Los Angeles, California 90095, U.S.A. In a review, a reference "XLIII 148," for example, refers either to the publication reviewed on page 148 of volume 43 of the JOURNAL, or to the review itself (which contains full bibliographical information for the reviewed publication). "LV 347" refers to one of the reviews or one of the publications reviewed or listed on page 347 of volume 55, with reliance on the context to show which one is meant. The reference "LIII 318(3)" is to the third item on page 318 of volume 53, that is, to van Heijenoort's Frege and vagueness, and "LX 684(8) refers to the eighth item on page 684 of volume 60, that is, to Tarski's Truth and proof. References such as 67i or 1119 are to entries so numbered in A bibliography of symbolic logic (this JOURNAL, vol. 1, pp. 121-218).