首页>外文期刊>数学、物理、化学、力学>数学>The bulletin of symbolic logic

The bulletin of symbolic logic

SCI

中文名称：符号逻辑公告

ISSN：1079-8986
出版周期：Quarterly

发文量：233

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.OPTIMAL PROOFS OF DETERMINACY

机译：确定性的最佳方案
- 作者：Itay Neeman
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第3期
2.RECENT ADVANCES IN ORDINAL ANALYSIS: Π_2~1 - CA AND RELATED SYSTEMS

机译：常规分析的最新进展：Π_2〜1-CA及相关系统
- 作者：Michael Rathjen
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第4期
3.HOW TO COMPUTE ANTI DERIVATIVES

机译：如何计算反导数
- 作者：Chris Freiling
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第3期
4.THE COMPLEXITY OF PROPOSITIONAL PROOFS

机译：提议方案的复杂性
- 作者：Alasdair Urquhart
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第4期
5.INNER MODELS AND LARGE CARDINALS

机译：内部模型和大基数
- 作者：Ronald Jensen
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第4期
6.HERMANN WEYL'S INTUITIONISTIC MATHEMATICS

机译：赫尔曼·韦尔的直觉数学
- 作者：Dirk van Dalen
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第2期
7.AMERICAN LOGIC IN.THE 1920s

机译：1920年代的美国逻辑
- 作者：Martin Davis
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第3期
8.A GENERAL FRAMEWORK FOR PRIORITY ARGUMENTS

机译：优先论证的一般框架
- 作者：Steffen Lempp;Manuel Lerman
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第2期
9.MEASURES: BACK AND FORTH BETWEEN POINT SETS AND LARGE SETS

机译：措施：点集和大集之间的来回交互
- 作者：Noa Goldring
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第2期
10.SINGULAR CARDINALS AND THE PCF THEORY

机译：单数基数和PCF理论
- 作者：Thomas Jech
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第4期
11.FREGE'S THEOREM AND THE PEANO POSTULATES

机译：弗雷格定理和花生假说
- 作者：George Boolos
- 期刊名称：《The bulletin of symbolic logic》 | 1995年第3期
12.PURE PROOF THEORY AIMS, METHODS AND RESULTS

机译：纯粹的证明理论目的，方法和结果
- 作者：Wolfram Pohlers
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第2期
13.ANOTHER USE OF.SET THEORY

机译：设定理论的另一种用途
- 作者：Patrick Dehornoy
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第4期
14.THE DISCOVERY OF MY COMPLETENESS PROOFS

机译：我的能力证明的发现
- 作者：Leon Henkin
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第2期
15.THE MATHEMATICAL DEVELOPMENT OF SET THEORY FROM CANTOR TO COHEN

机译：从康托尔到科恩的集合论的数学发展
- 作者：Akihiro Kanamori
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第1期
16.GEOMETRY, CALCULUS AND ZIL'BER'S CONJECTURE

机译：几何，计算和吉尔伯的假设
- 作者：Yaacov Peterzh;Sergfi Starchenko
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第1期
17.LINEAR LOGIC PROOF GAMES AND OPTIMIZATION

机译：线性逻辑证明游戏和优化
- 作者：Patrick D. Lincoln;John C. Mitchell;Andre Scedrov
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第3期
18.COMPUTABILITY AND RECURSION

机译：兼容性和递归
- 作者：Robert I. Soare
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第3期
19.DEFINABILITY, AUTOMORPHISMS, AND DYNAMIC PROPERTIES OF COMPUTABLY ENUMERABLE SETS

机译：可计算数值集的可定义性，自态性和动态性质
- 作者：Leo Harrington;Robert I. Soare
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第2期
20.UNE PREUVE FORMELLE ET INTUITIONNISTE DU THEOREME DE COMPLETUDE DE LA LOGIQUE CLASSIQUE

机译：古典逻辑完全定理的形式和直觉证明
- 作者：Jean-Louis Krivine
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第4期
21.HYPERFINITE LAW OF LARGE NUMBERS

机译：超大数定律
- 作者：Yeneng Sun
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第2期
22.A NOTE ON THE COMPLETENESS OF KOZEN'S AXIOMATISATION OF THE PROPOSITIONAL u-CALCULUS

机译：关于拟定u演算的Kozen轴求完全化的一个注记
- 作者：Igor Walukiewicz
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第3期
23.FROM 'MKTABELIAN Q-VECTOR SPACES' TO NEW w-STABLE GROUPS

机译：从“ MKTABELIAN Q-向量空间”到新的w稳定组
- 作者：Olivier Chapuis
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第1期
24.ANALYTIC IDEALS

机译：分析理想
- 作者：Slawomir Soleck
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第3期
25.DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES

机译：递归可数度的可定义性
- 作者：Andre Nies;Richard A. Shore;Theodore A. Slaman
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第4期
26.ALMOST EVERYWHERE EQUIVALENCE OF LOGICS IN FINITE MODEL THEORY

机译：有限模型理论中几乎几乎所有的逻辑等效
- 作者：Lauri Hella;Phokion G. Kolarris;Kerkko Luosto
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第4期
27.DEDUCTIVE COMPLETENESS

机译：演绎能力
- 作者：Kosta Dosen
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第3期
28.TWO APPLICATIONS OF INNER MODEL TIII-ORY TO TIFE STUDY OF Σ~1_2 SETS

机译：内模型TIII-ORY在Σ〜1_2集的时间研究中的两种应用
- 作者：Grfg Hjorth
- 期刊名称：《The bulletin of symbolic logic》 | 1996年第1期
29.THE MATHEMATICAL IMPORT OF ZERMELO'S WELL-ORDERING THEOREM

机译：泽尔梅洛定序定理的数学意义
- 作者：Akihiro Kanamori
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第3期
30.LOGICAL CONSEQUENCE REVISITED

机译：逻辑后果已修订
- 作者：Jose M. Saguillo
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第2期
31.ON THE DECISION PROBLEM FOR TWO-VARIABLE FIRST-ORDER LOGIC

机译：两变量一阶逻辑的决策问题
- 作者：Erich Gradel;Phokion G. Kolaitis;Moshe Y. Vardi
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第1期
32.A model-theoretic approach to ordinal analysis

机译：序数分析的模型理论方法
- 作者：Jeremy Avigad;Richard Sommer
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第1期
33.PROGRAMS, GRAMMARS AND ARGUMENTS: A PERSONAL VIEW OF SOME CONNECTIONS BETWEEN COMPUTATION, LANGUAGE AND LOGIC

机译：程序，语法和参数：计算，语言和逻辑之间某些联系的个人观点
- 作者：J. Lambek
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第3期
34.AN APPLICATION OF CATEGORY-THEORETIC SEMANTICS TO THE CHARACTERISATION OF COMPLEXITY CLASSES USING HIGHER-ORDER FUNCTION ALGEBRAS

机译：分类理论语义学在高阶函数代数刻画复杂性分类中的应用
- 作者：Martin Hofmann
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第4期
35.DOMAINS FOR COMPUTATION IN MATHEMATICS, PHYSICS AND EXACT REAL ARITHMETIC

机译：用于数学，物理和精确实数运算的域
- 作者：Abbas Edalat
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第4期
36.AN ELEMENTARY APPROACH TO THE FINE STRUCTURE OF L

机译：L精细结构的基本方法
- 作者：Sy D. Friedman;Peter Koepke
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第4期
37.STEP BY RECURSIVE STEP: CHURCH'S ANALYSIS OF EFFECTIVE CALCULABILITY

机译：循序渐进：教会对有效可计算性的分析
- 作者：Wilfried Sieg
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第2期
38.NEW DICHOTOMIES FOR BOREL EQUIVALENCE RELATIONS

机译：BOREL等价关系的新二分法
- 作者：Greg Hjorth;Alexander S Kechris
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第3期
39.THE IMPACT OF THE LAMBDA CALCULUS IN LOGIC AND COMPUTER SCIENCE

机译：Lambda计算对逻辑和计算机科学的影响
- 作者：Henk Barenoregt
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第2期
40.GAMES AND DHHN ABILITY FOR FPC

机译：FPC的游戏和DHHN能力
- 作者：Guy McCusker
- 期刊名称：《The bulletin of symbolic logic》 | 1997年第3期
41.Resolution and the origins of structural reasoning: early proof-theoretic ideas of hertz and Gentzen

机译：解决和结构推理的起源：赫兹和根岑的早期证明理论思想
- 作者：Peter Schroeder-Heister
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第2期
42.Some aspects of model theory and finite structures

机译：模型理论和有限结构的某些方面
- 作者：Eric Rosen
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第3期
43.The problem of logical constants

机译：逻辑常数问题
- 作者：Mario Gomez-Torrente
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第1期
44.Types in logic and mathematics before 1940

机译：1940年之前输入逻辑和数学的类型
- 作者：Fairouz Kamareddine;Twan Laan;Rob Nederpelt
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第2期
45.A General Notion of Realizability

机译：可实现性的一般概念
- 作者：Lars Birkedal
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第2期
46.The group configuration in simple theories and its applications

机译：简单理论中的组配置及其应用
- 作者：Itay Ben-Yaacov;Ivan Tomasic;Frank O. Wagner
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第2期
47.Zermelo's Cantorian theory of systems of infinitely long propositions

机译：策尔梅洛的Cantorian无限长命题系统理论
- 作者：R. Gregory Taylor
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第4期
48.Fixed point logics

机译：定点逻辑
- 作者：Anuj Dawar;Yuri Gurevich
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第1期
49.Computability-theoretic complexity of countable structures

机译：可数结构的可计算性-理论复杂性
- 作者：Valentina S. Harizanov
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第4期
50.Hyperclassical logic (A.K.A. if logic) and its implications for logical theory

机译：超经典逻辑（又称if逻辑）及其对逻辑理论的启示
- 作者：Jaakko Hintikka
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第3期
51.Groups and algebras of binary relations

机译：二元关系的群和代数
- 作者：Steven Givant;Hajnal Andreka
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第1期
52.Arguments for the continuity principle

机译：关于连续性原则的争论
- 作者：Mark van Atten;Dirk van Dalen
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第3期
53.Provability with finitely many variables

机译：具有有限多个变量的可证明性
- 作者：Robin Hirsch;Ian Hodkinson;Roger D. Maddux
- 期刊名称：《The bulletin of symbolic logic》 | 2002年第3期
54.The empty set, the singleton, and the ordered pair

机译：空集，单例和有序对
- 作者：Akihiro Kanamori
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第3期
55.A universal approach to self-referential paradoxes, incompleteness and fixed points

机译：自我参照自相矛盾，不完整和不固定点的通用方法
- 作者：Noson S. Yanofsky
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第3期
56.The reviews

机译：评论
- 作者：Richard A. Shore
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第1期
57.Computable and continuous partial homomorphisms on metric partial algebras

机译：度量偏代数上的可计算且连续的部分同态
- 作者：Viggo Stoltenberg Hansen;John V. Tucker
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第3期
58.Godel, tarski, church, and the liar

机译：戈德尔，塔斯基，教堂和骗子
- 作者：Gyorgy Sereny
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第1期
59.On the philosophical development of Kurt Godel

机译：论库尔特·戈德尔的哲学发展
- 作者：Mark van Atten;Juliette Kennedy
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第4期
60.Survey of the Steinhaus tiling problem

机译：Steinhaus平铺问题调查
- 作者：Steve Jackson;R. Daniel Mauldin
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第3期
- lattice points;
- Steinhaus problem;
- fourier transform;
- four-bar linkage;
61.Local initial segments of the turing degrees

机译：图灵度的本地初始片段
- 作者：Bjorn Kjos-Hanssen
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第1期
62.Identity of proofs based on normalization and generality

机译：基于归一化和通用性的证明身份
- 作者：Kosta Dosen
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第4期
- Proof;
- criteria of identity;
- cut elimination and normal form;
- generality;
- categorial coherence;
63.Finite conformal hypergraph covers and Gaifman cliques in finite structures

机译：有限结构中的有限保形超图覆盖和盖夫曼集团
- 作者：Ian Hodkinson;Martin Otto
- 期刊名称：《The bulletin of symbolic logic》 | 2003年第3期
64.PREDICATIVE FRAGMENTS OF FREGE ARITHMETIC

机译：边缘算术预测片段
- 作者：Oystein Linnebo
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第2期
65.Notes on quasiminimality and excellence

机译：关于准最小化和卓越性的说明
- 作者：John T. Baldwin
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第3期
66.Transfinite progressions: a second look at completeness

机译：无限级数：完整性的第二个视角
- 作者：Torkel Franzen
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第3期
67.Is the Euclidean algorithm optimal among its peers?

机译：欧几里得算法在同类算法中是否最优？
- 作者：Lou Van Den Dries;Yiannis N. Moschovakis
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第3期
68.ASYMPTOTIC CONES AND ULTRAPOWERS OF LIE GROUPS

机译：李群的渐近锥和超功率
- 作者：Linus Kramer;Katrin Tent
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第2期
69.ERDOS GRAPHS RESOLVE FINE'S CANONICITY PROBLEM

机译：ERDOS GRACE解决了精细化的正当性问题
- 作者：Robert Goldblatt;Ian Hodkinson;Yde Venema
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第2期
70.Heterogeneous reasoning and its logic

机译：异构推理及其逻辑
- 作者：Sun-Joo Shin
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第1期
71.Computability theory and differential geometry

机译：可计算性理论与微分几何
- 作者：Soare RI
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第4期
- WORD PROBLEM;
- HOMOTOPY SPHERES;
- UNSOLVABILITY;
- MANIFOLDS;
- KNOTS;
- SETS;
72.Jon Barwise's papers on natural language semantics

机译：Jon Barwise关于自然语言语义学的论文
- 作者：Keth Devlin
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第1期
73.Brawise: abstract model theory and generalized quantifiers

机译：Brawise：抽象模型理论和广义量词
- 作者：Jouko Vaananen
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第1期
74.Barwise: infinitary logic and admissible sets

机译：Barwise：无限逻辑和可容许集合
- 作者：H. Jerome Keisler;Julia F. Knight
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第1期
75.Forcing in proof theory

机译：证明论
- 作者：Jeremy Avigad
- 期刊名称：《The bulletin of symbolic logic》 | 2004年第3期
76.Future tasks for Godel scholars

机译：戈德尔学者的未来任务
- 作者：Dawson JW;Cheryl A
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第2期
77.Tiering as a recursion technique

机译：分层作为递归技术
- 作者：Simmons H
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第3期
- SAFE RECURSION;
78.Reverse mathematics and II21 comprehension

机译：逆向数学与II21理解
- 作者：Mummert C;Simpson SG
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第4期
79.Turing computations on ordinals

机译：平凡的图灵计算
- 作者：Koepke P
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第3期
80.Undecidability of first-order intuitionistic and modal logics with two variables

机译：具有两个变量的一阶直觉和模态逻辑的不确定性
- 作者：Kontchakov R;Kurucz A;Zakharyaschev M
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第3期
- DECIDABLE FRAGMENTS;
81.Only two letters: The correspondence between Herbrand and Godel

机译：只有两个字母：Herbrand和Godel之间的对应关系
- 作者：Sieg W
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第2期
82.Compactness and independence in non first order frameworks

机译：非一阶框架的紧凑性和独立性
- 作者：Ben-Yaacov I
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第1期
- LOVELY PAIRS;
- SPACES;
- MODELS;
83.Mass problems and randomness

机译：质量问题和随机性
- 作者：Simpson SG
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第1期
- MUCHNIK LATTICES;
- PI(0)(1) CLASSES;
- MEDVEDEV;
- THEOREM;
- SETS;
- WWKL;
84.Proper forcing, cardinal arithmetic, and uncountable linear orders

机译：适当的强制，基数运算和不可数的线性阶数
- 作者：Moore JT
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第1期
- GENERIC ABSOLUTENESS;
- STATIONARY SETS;
- SQUARES;
- AXIOMS;
85.The role of true finiteness in the admissible recursively enumerable degrees

机译：真实有限性在可允许递归可枚举度中的作用
- 作者：Greenberg N
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第3期
- SETS;
- DEFINABILITY;
86.Geometric cardinal invariants, maximal functions and a measure theoretic pigeonhole principle

机译：几何基不变量，最大函数和测度理论信鸽原理
- 作者：Steprans J
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第4期
- EUCLIDEAN-SPACE;
- HOMOLOGICAL DIMENSION;
- SETS;
- CONVEXITY;
- PLANE;
- CURVES;
- NUMBER;
87.Algebraic logic, where does it stand today?

机译：代数逻辑，它今天处于什么位置？
- 作者：Ahmed TS
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第4期
- CYLINDRIC ALGEBRAS;
- ATOM STRUCTURES;
- EQUATIONAL THEORY;
- OMITTING TYPES;
- MODAL-LOGICS;
- SET ALGEBRAS;
- THEOREM;
- REDUCTS;
- AXIOMATIZABILITY;
- REPRESENTABILITY;
88.Godel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation

机译：戈德尔对根岑第一个算术一致性证明的重新表述：无反例解释
- 作者：Tait WW
- 期刊名称：《The bulletin of symbolic logic》 | 2005年第2期
89.Classifying the provably total functions of PA

机译：对PA可证明的全部功能进行分类
- 作者：Weiermann A
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第2期
- PROOF;
- HIERARCHIES;
- RECURSION;
90.What is Tarski's common concept of consequence?

机译：Tarski常见的后果概念是什么？
- 作者：Jane I
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第1期
- AMERICAN POSTULATE THEORISTS;
- LOGICAL CONSEQUENCE;
- CATEGORICITY;
- FALLACY;
91.Computing with functionals - Computability theory or computer science?

机译：使用功能进行计算-可计算性理论还是计算机科学？
- 作者：Normann D
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第1期
- PCF;
92.DEGREE STRUCTURES: LOCAL AND GLOBAL INVESTIGATIONS

机译：学位结构：本地和全球调查
- 作者：RICHARD A. SHORE
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第3期
93.CALIBRATING RANDOMNESS

机译：校准随机性
- 作者：ROD DOWNEY;DENIS R. HIRSCHFELDT;ANDRE N1ES;SEBASTIAAN A. TERWIJN
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第3期
94.INTERNAL CONSISTENCY AND THE INNER MODEL HYPOTHESIS

机译：内部一致性和内部模型假设
- 作者：SY-DAVID FRIEDMAN
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第4期
95.RANDOMNESS AND COMPUTABILITY: OPEN QUESTIONS

机译：随机性和可计算性：公开问题
- 作者：JOSEPH S. MILLER;ANDRE NIES
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第3期
96.Closing the circle: An analysis of Emil Post's early work

机译：封闭圈子：对Emil Post早期工作的分析
- 作者：De Mol L
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第2期
- MACHINES;
- GODEL;
97.Schemata: The concept of schema in the history of logic

机译：图式：逻辑历史中图式的概念
- 作者：Corcoran J
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第2期
98.Nonstandard arithmetic and reverse mathematics

机译：非标准算术和逆数学
- 作者：Keisler HJ
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第1期
- STRENGTH;
99.GODEL'S PROGRAM REVISITED PART I: THE TURN TO PHENOMENOLOGY

机译：GODEL计划的修订第一部分：转向现象学
- 作者：KAI MAUSER
- 期刊名称：《The bulletin of symbolic logic》 | 2006年第4期
100.In memoriam: Saunders Mac Lane, 1909—2005

机译：纪念照：桑德斯·麦克·雷恩（Saunders Mac Lane），1909年至2005年
- 作者：Steve Awodey
- 期刊名称：《The bulletin of symbolic logic》 | 2007年第1期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号