加贝,多夫·M。;迪米特里·斯科沃尔佐夫;瓦伦丁·谢特曼 非经典逻辑中的量化。第一卷。 (英语) Zbl 1211.03002号 逻辑与数学基础研究153.阿姆斯特丹:Elsevier(ISBN 978-0-444-52012-8/hbk)。第二十四、615页。(2009).MSC公司:03-02 03B45号 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人,非经典逻辑中的量化。第一卷阿姆斯特丹:爱思唯尔出版社(2009;Zbl 1211.03002) 全文: 链接
雅普·范·奥斯汀 可实现性。介绍其明确的一面。 (英语) Zbl 1225.03002号 逻辑与数学基础研究152.阿姆斯特丹:爱思唯尔(ISBN 978-0-444-51584-1/hbk)。十六、310页。(2008). 审核人:科林·麦克拉蒂(MR2479466) MSC公司:03-02 20日03时 第03页第55页 03层60 65楼03号 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten},可实现性。介绍其明确的一面。阿姆斯特丹:爱思唯尔(2008;Zbl 1225.03002)
尼古拉斯·加拉托斯;彼得·吉普森;托马斯·科瓦尔斯基;小野,Hiroakira 残余晶格。子结构逻辑的代数一瞥。 (英语) 兹比尔1171.03001 逻辑与数学基础研究151.阿姆斯特丹:爱思唯尔(ISBN 978-0-444-52141-5/hbk)。xxi,509页。(2007). 审核人:达纳·皮奇乌(克雷奥瓦) MSC公司:03-01 03-02 03B47号 05年3月 03G10年 06-01 2002年6月 06B20号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}等人,残余晶格。子结构逻辑的代数一瞥。阿姆斯特丹:Elsevier(2007;Zbl 1171.03001)
Sørensen,莫滕·海涅;乌日琴,Paweł 关于咖喱-霍华德同构的讲座。 (英语) 兹比尔1183.03004 逻辑与数学基础研究149.阿姆斯特丹:爱思唯尔(ISBN 978-0-444-52077-7/hbk)。xiv,第442页。(2006). 审核人:安德烈亚·坎蒂尼(费伦泽) MSC公司:03-02 03B40型 03B70号 05年3月 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Sörensen}和\textit{P.Urzyczyn},《咖喱-霍华德同构讲座》。阿姆斯特丹:Elsevier(2006;Zbl 1183.03004)
罗杰·D·麦德克斯。 关系代数。 (英语) Zbl 1197.03051号 逻辑与数学基础研究150.阿姆斯特丹:爱思唯尔(ISBN 978-0-444-52013-5/hbk)。xxvi,731页。(2006). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:03G15年 03-02 03年3月 03B10号机组 03E30年 05年6月 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Maddux},关系代数。阿姆斯特丹:Elsevier(2006;Zbl 1197.03051)
D.M.加巴伊。;A.库鲁茨。;F.沃尔特。;Zakharyaschev,M。 多维模态逻辑:理论与应用。 (英语) Zbl 1051.03001号 逻辑与数学基础研究148.阿姆斯特丹:爱思唯尔(ISBN 0-444-50826-0/hbk)。十八、747页。(2003). 审核人:Max A.Freund(墨西哥D.F.) MSC公司:03-02 03B45号 03B70号 03B42号 03B44号 03B20型 03B25号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人,《多维模态逻辑:理论与应用》。阿姆斯特丹:Elsevier(2003;Zbl 1051.03001)
罗宾·赫希;伊恩·霍金森 关系代数的对策。 (英语) Zbl 1018.03002号 逻辑与数学基础研究.147。阿姆斯特丹:荷兰北部。xvii,691页(2002年)。 审核人:罗杰·马杜克斯(艾姆斯) MSC公司:03-02 03G15年 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{I.Hodkinson},游戏关系代数。阿姆斯特丹:北荷兰(2002;Zbl 1018.03002)
A.阿诺德。;尼文斯基,D。 微积分基础。 (英语) Zbl 0968.03002号 逻辑与数学基础研究. 146. 阿姆斯特丹:爱思唯尔。xvii,277页(2001年)。 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03-02 03-01 03B70号 03G10年 70年第68季度 08A70号 05年3月 06B23号 03B45号 65年第68季度 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}和\textit{D.Niwinnski},微积分基础。阿姆斯特丹:Elsevier(2001;Zbl 0968.03002)
罗兰·弗雷塞 [诺伯特·绍尔] 关系理论。Transl.公司。来自法国的P·克洛特。还有诺伯特·绍尔的附录。修订版。 (英语) 兹伯利0965.03059 逻辑与数学基础研究. 145. 阿姆斯特丹:荷兰北部。第451页(2000年)。 审核人:Egbert Harzheim(科伦) MSC公司:03E20型 06年06月06日 06-01 2002年6月 03-01 03-02 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Fraisse},关系理论。Transl.公司。来自法国的P·克洛特。还有诺伯特·绍尔的附录。修订版:阿姆斯特丹:北荷兰(2000;Zbl 0965.03059)
阿什,C.J。;J.F.奈特。 可计算结构和超算术层次结构。 (英语) Zbl 0960.03001号 逻辑与数学基础研究. 144. 阿姆斯特丹:爱思唯尔。xv,第346页(2000年)。 审核人:R.Downey(惠灵顿) MSC公司:03-02 03D45号 03C57号 03D25号 03天30分 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Ash}和\textit{J.F.Knight},可计算结构和超算术层次。阿姆斯特丹:Elsevier(2000;Zbl 0960.03001)
奥迪弗雷迪,P.G。 经典递归理论。第二卷。 (英语) Zbl 0931.03057号 逻辑与数学基础研究. 143. 阿姆斯特丹:爱思唯尔。xvi,949页(1999年)。 审核人:C.Calude(奥克兰) MSC公司:03年月日 03-02 03-01 03-00 2015年3月1日 20日03时 03D25号 03D28号 03天30分 03D55号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Odifreddi},经典递归理论。第二卷。阿姆斯特丹:爱思唯尔(1999年;兹bl 0931.03057)
M.克拉希特。 模态逻辑中的工具和技术。 (英语) Zbl 0927.03002号 逻辑与数学基础研究. 142. 阿姆斯特丹:爱思唯尔。xiii,559页(1999年)。 审核人:安娜·戈莫利安斯卡(比亚莱斯托克) MSC公司:03-02 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kracht},模态逻辑中的工具和技术。阿姆斯特丹:Elsevier(1999;Zbl 0927.03002)
巴特·雅各布斯 范畴逻辑和类型理论。 (英语) Zbl 0911.03001号 逻辑与数学基础研究. 141. 阿姆斯特丹:爱思唯尔。第十八章,760页(1999年)。 审核人:P.T.Johnstone(剑桥) MSC公司:03-02 03G30型 03年11月15日 18对25 18天30分 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},范畴逻辑和类型理论。阿姆斯特丹:Elsevier(1999;Zbl 0911.03001)
雷巴科夫。 逻辑推理规则的可接受性。 (英语) Zbl 0872.0302号 逻辑与数学基础研究. 136. 阿姆斯特丹:爱思唯尔。617页(1997年)。 审核人:博里奇奇(贝尔格莱德) MSC公司:03-02 03B05号 03B10号机组 03B22号 03B25号 03B20型 03B45号 03B55型 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},逻辑推理规则的可接受性。阿姆斯特丹:Elsevier(1997;Zbl 0872.0302)
安德烈亚·坎蒂尼 真理和抽象的逻辑框架。公理化研究。 (英语) Zbl 0860.03015号 逻辑与数学基础研究. 135. 阿姆斯特丹:荷兰北部。xii,461页(1996年)。 审核人:K.Nour(法国波尔多) MSC公司:03B40型 03-02 03年3月 03D75号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cantini},真理和抽象的逻辑框架。公理化研究。阿姆斯特丹:北荷兰(1996;Zbl 0860.03015)
里萨德·弗兰基维茨;巴维尔·兹比尔斯基 豪斯多夫差距和限制。 (英语) 兹比尔0821.54001 逻辑与数学基础研究. 132. 阿姆斯特丹:荷兰北部。xiii,300页(1994年)。 审核人:A.Dow(纽约北部) MSC公司:54-02 03-02 54天35分 03E10年 03E40型 54D40型 54D80型 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{R.Frankiewicz}和\textit{P.Zbierski},Hausdorff间隙和极限。阿姆斯特丹:北荷兰(1994;Zbl 0821.54001)
皮耶吉奥·奥迪弗雷迪 经典递归理论。函数和自然数集的理论。平装版。 (英语) Zbl 0744.03044号 逻辑与数学基础研究. 125. 阿姆斯特丹等地:荷兰北部。xvii,668页(1992年)。MSC公司:20日03时 03-01 03-02 03D25号 03天30分 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{P.Odifreddi},经典递归理论。函数和自然数集的理论。平装版,阿姆斯特丹等:North-Holland(1992;Zbl 0744.03044)
路易斯·桑奇斯。 递归泛函。 (英语) Zbl 0806.03034号 逻辑与数学基础研究. 131. 阿姆斯特丹:North-Holland Publishing Company。xii,277 p.(1992)。 审核人:H.Schwichtenberg(慕尼黑) MSC公司:03D65年 03-01 03-02 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Sanchis},递归泛函。阿姆斯特丹:North-Holland Publishing Company(1992;Zbl 0806.03034)
常,C.C。;凯斯勒,H.J。 模型理论。第三版。 (英语) Zbl 0697.03022号 逻辑与数学基础研究, 73. 阿姆斯特丹等地:荷兰北部。十六、650页118.00美元;英国国防部。230.00 (1990). 审核人:M.威斯 MSC公司:03Cxx号 03-01 03-02 99年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Chang}和\textit{H.J.Keisler},模型理论。阿姆斯特丹等第三版:北荷兰人(1990;Zbl 0697.03022)
萨拉、撒哈拉 分类理论和非同构模型的数量。第2版。 (英语) Zbl 0713.03013号 逻辑与数学基础研究, 92. 阿姆斯特丹等地:荷兰北部。xxxiv,705 p.242.75美元;英国国防部。425.00 (1990). 审核人:M.威斯 MSC公司:03Cxx号 03-02 03C45号机组 03C35号 03C20号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah},分类理论和非同构模型的数量。阿姆斯特丹等第二版:北荷兰(1990;Zbl 0713.03013)
Börger,E。 可计算性、复杂性、逻辑性。Transl.公司。来自德国。 (英语) Zbl 0669.68002号 逻辑与数学基础研究, 128. 阿姆斯特丹:荷兰北部。二十、 592页118.50美元;英国国防部。225.00 (1989). 审核人:H.西村 MSC公司:68-02 65年第68季度 03-01 2015年3月1日 03D60年 03年月日 03天10分 05年3月 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger},可计算性,复杂性,逻辑。Transl.公司。来自德国。阿姆斯特丹:北荷兰(1989;Zbl 0669.68002)
皮耶吉奥·奥迪弗雷迪 经典递归理论。函数和自然数集的理论。 (英语) Zbl 0661.03029号 逻辑与数学基础研究, 125. 阿姆斯特丹等地:荷兰北部。xvii,668页,110.50美元;英国国防部。210.00 (1989). 审核人:C.冷静 MSC公司:20日03时 03-01 03-02 03D25号 03天30分 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{P.Odifreddi},经典递归理论。自然数的函数和集合理论。阿姆斯特丹等:北荷兰(1989;Zbl 0661.03029)
Troelstra,A.S。;范·达伦(D.van Dalen)。 数学中的建构主义。引言。第二卷。 (英语) Zbl 0661.03047号 逻辑与数学基础研究, 123. 阿姆斯特丹等地:荷兰北部。xvii,p.345-879附录。$86.75; 英国国防部。165.00 (1988). 审核人:B.van Rootselaar公司 MSC公司:03楼50 第03页第55页 03层60 03-02 03-01 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Troelstra}和\textit{D.van Dalen},数学中的建构主义。引言。第二卷。阿姆斯特丹等:北荷兰(1988;Zbl 0661.03047)
Troelstra,A.S。;范·达伦(D.van Dalen)。 数学中的建构主义。引言。第一卷。 (英语) 兹比尔0653.03040 逻辑与数学基础研究, 121. 阿姆斯特丹等:北荷兰(ISBH 0-444-70506-6)。xv,355 p.hbk:86.75美元;英国国防部。165.00; pbk:33.00美元;英国国防部。62.50 (1988). 审核人:B.van Rootselaar公司 MSC公司:03楼50 第03页第55页 03层60 65楼03号 03-02 03-01 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Troelstra}和\textit{D.van Dalen},数学中的建构主义。引言。第一卷阿姆斯特丹等:北荷兰(1988;Zbl 0653.03040)
盖西·塔库蒂 [Kreisel,G。;普勒斯,W。;辛普森,S.G。;费弗曼,S。] 证明理论。第2版。 (英语) Zbl 0609.03019号 逻辑与数学基础研究,第81卷。阿姆斯特丹等地:荷兰北部。十、 490页90.00美元;英国国防部。250.00 (1987). 审核人:G.薄荷 MSC公司:05年3月 2015年1月3日 03-02 35楼03号 30楼03号 第03页第55页 03B10号机组 03年11月15日 03B20型 PDF格式BibTeX公司 XML格式 反向链接: 卫生官员
亚伯拉罕·鲁滨逊 [凯斯勒,H.J。] 模型理论和代数元数学导论。第二版(第二次印刷)。(由H.Jerome Keisler作序)。 (英语) Zbl 0665.03017号 逻辑与数学基础研究阿姆斯特丹等:North-Holland(爱思唯尔科学出版社)。十二、 第284页(1986年)。MSC公司:03Cxx号 03-01 03-02 PDF格式BibTeX公司 XML格式
斯特罗扬,K.D。;何塞·曼纽尔·巴约德 无穷小随机分析基础。 (英语) Zbl 0624.60052号 逻辑与数学基础研究,第119卷。阿姆斯特丹-纽约-牛津:北荷兰人。十二、 478页47.50美元;英国国防部。150.00 (1986). 审核人:R.A.Herrmann先生 MSC公司:60G05型 60-02年 03时10分 PDF格式BibTeX公司 XML格式
西奥多·海尔佩林 布尔的逻辑和概率。从当代代数、逻辑和概率论的角度进行批判性阐述。第2版,修订并扩大。 (英语) Zbl 0611.03001号 逻辑与数学基础研究,第85卷。阿姆斯特丹等地:荷兰北部。十二、 428便士;美元76.00; 英国国防部。190.00 (1986). 审核人:H.E.Kyburg公司 MSC公司:03-02 60-02年 60A05型 60B15型 03B10号机组 01A55号 03年3月 60-03 15A39型 03B48号 PDF格式BibTeX公司 XML格式
赫尔曼·鲁宾;Jean E.鲁宾。 选择公理的等价物。第2版。 (英语) Zbl 0582.03033号 逻辑与数学基础研究,第116卷。阿姆斯特丹-纽约-牛津:北荷兰。二十八、 322页45.00美元;英国国防部。140.00 (1985). 审核人:J.M.普洛金 MSC公司:03E25型 03-01 03-02 PDF格式BibTeX公司 XML格式
莱昂·汉金;蒙克·J·唐纳德;阿尔弗雷德·塔斯基 圆柱代数。第二部分。 (英语) Zbl 0576.03043号 逻辑与数学基础研究,第115卷。阿姆斯特丹-纽约-牛津:北荷兰。九、 302 p.S.38.50;英国国防部。125.00 (1985).MSC公司:03G15年 03B10号机组 03C05号机组 03-02 08-02 03C95号 PDF格式BibTeX公司 XML格式
莱昂·汉金;唐纳德·蒙克;阿尔弗雷德·塔斯基 柱代数。第一部分:导论部分:代数的一般理论。第二次打印。 (英语) Zbl 0576.03042号 逻辑与数学基础研究, 64. 阿姆斯特丹-纽约-奥克斯福德:荷兰北部。六、 第508页(1985年)。MSC公司:03G15年 03B10号机组 03C05号机组 03-02 08-02 03C95号 PDF格式BibTeX公司 XML格式
亚伯拉罕·A·弗兰克尔。;Yehoshua Bar-Hillel公司;阿兹里尔·利维 [范·达伦(D.van Dalen)。] 集合论基础。用夹头。德克·范·戴伦。第二版再版。 (英语) Zbl 0623.03047号 逻辑与数学基础研究,第67卷。阿姆斯特丹等地:荷兰北部。十、 404页(1984年)。MSC公司:03埃克斯 03-02 03-01 PDF格式BibTeX公司 XML格式
Erdős,Paul;安德烈·哈纳尔;马蒂,阿提拉;理查德·拉多 组合集理论:基数的划分关系。 (英语) Zbl 0573.03019号 逻辑与数学基础研究, 106. 阿姆斯特丹-纽约-牛津:北荷兰出版公司;布达佩斯:Akadémiai Kiadó。347页53.75美元;英国国防部。140.00 (1984). 审核人:D.库雷帕 MSC公司:03E05号 05元55分 03-02 05-02 03E55型 PDF格式BibTeX公司 XML格式
巴伦德雷格特,H.P。 lambda演算。它的语法和语义。修订版。 (英语) Zbl 0551.03007号 逻辑与数学基础研究, 103. 阿姆斯特丹-纽约-奥克斯福德:荷兰北部。十五、 621 p.hbk:70.00美元;英国国防部。250.00; pbk:35.00美元;英国国防部。125.00 (1984). 审核人:A.佩特罗西 MSC公司:03B40型 03-01 03-02 68问题65 68问题55 PDF格式BibTeX公司 XML格式
罗伯特·戈德布拉特 托波伊。逻辑的范畴分析。修订版。 (英语) Zbl 0528.03039号 逻辑与数学基础研究,第98卷。阿姆斯特丹-纽约-牛津:North-Holland XVI,551 p.$69.25;英国国防部。180.00 (1984).MSC公司:03G30型 18对25 第03页第55页 03-02 18-02 03-01 18-01 PDF格式BibTeX公司 XML格式
肯尼斯·库恩 集合论。独立性证明简介。第二次打印。 (英语) Zbl 0534.03026号 逻辑与数学基础研究,第102页。阿姆斯特丹-纽约-奥克斯福德:荷兰北部。十六、 313页pbk:27.50美元;英国国防部。75.00 (1983).MSC公司:03E35号 03-01 03-02 03E05号 03E40型 03E45型 03E50型 PDF格式BibTeX公司 XML格式
乔恩·巴韦斯(编辑) [Barwise,J。;埃克洛夫,P.C。;安格斯·J·麦金太尔。;莫理,M。;凯斯勒,H.J。;Kunen,K。;纽约州莫斯科市。;Troelstra,A.S。;斯特罗扬,K.D。;马克凯,M。;A.科克。;雷耶斯,G.E。;肖恩菲尔德,J.R。;杰赫·T·J。;J.P.伯吉斯。;德夫林,K.J。;鲁丁、玛丽·艾伦;伊斯坦·华什;Enderton,H.B.公司。;M.戴维斯。;M.O.拉宾。;辛普森,S.G。;罗德岛肖尔。;凯克里斯,A.S。;艾泽尔,P。;D.A.马丁。;斯莫林斯基,C。;施维希滕贝格,H。;R·斯塔特曼。;费弗曼,S。;M.P.福曼。;巴伦德雷格特,H.P。;J·巴黎。;哈灵顿,L。] 数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。重印。 (英语) Zbl 0528.03001号 逻辑与数学基础研究,第90卷。阿姆斯特丹-纽约-牛津:北荷兰出版公司。xii,1166页,39.00美元;英国国防部。90.00 (1982).MSC公司:03-02 03B10号机组 03B25号 03B40型 03C20号 03C35号 03C70号 03C75号 03天30分 03D60年 03D65年 03日70 03E05号 03E20型 03E25型 03E35号 03E45型 03E50型 03E65年 30楼03号 05年3月 65楼03号 03G30型 05年3月 54A35型 PDF格式BibTeX公司 XML格式
配件,梅尔文 广义递归理论基础。 (英语) Zbl 0597.03028号 逻辑与数学基础研究,第105卷。阿姆斯特丹,纽约,牛津:North-Holland Publishing Company。二十、 302页63.75美元;英国国防部。150.00(1981年)。MSC公司:03D75号 03-02 03D60年 03D65年 PDF格式BibTeX公司 XML格式
巴伦德雷格特,H.P。 lambda演算及其语法和语义。 (英语) Zbl 0467.03010号 逻辑与数学基础研究,第103卷。阿姆斯特丹-纽约-牛津:北荷兰出版公司。十四、 615页109.75美元;英国国防部。225.00 (1981).MSC公司:03B40型 03-02 03D99号 03-01 PDF格式BibTeX公司 XML格式
肯尼斯·库恩 集合论。独立性证明简介。 (英语) Zbl 0443.03021号 逻辑与数学基础研究,第102卷。阿姆斯特丹,纽约,牛津:North-Holland Publishing Company。十六、 313页29.25美元;英国国防部。60.00 (1980).MSC公司:03E35号 03E40型 03E05号 03-01 03-02 03E45型 03E50型 PDF格式BibTeX公司 XML格式
Moschovakis,Yiannis N。 描述性集合理论。 (英语) Zbl 0433.03025号 逻辑与数学基础研究,第100卷。阿姆斯特丹,纽约,牛津:North-Holland Publishing Company。十二、 637页,英国国防部。150.00; $ 73.25 (1980).MSC公司:03E15年 03-02 03E60年 03E65年 03E45型 20日03时 03D55号 03D75号 28A05号 第26A21页 2005年4月54日 PDF格式BibTeX公司 XML格式
罗伯特·戈德布拉特 托波伊。逻辑的范畴分析。 (英语) 兹伯利0434.03050 逻辑与数学基础研究,第98卷。阿姆斯特丹-纽约-牛津:北荷兰出版公司。十五、 486页83.00美元;英国国防部。170.00 (1979).MSC公司:03G30型 第03页第55页 18对25 03-01 03-02 18-01 18-02 PDF格式BibTeX公司 XML格式
M.E.萨博。 证明代数。 (英语) Zbl 0532.03030号 逻辑与数学基础研究,第88卷。阿姆斯特丹-纽约-牛津:北荷兰出版公司。XII、 297页,43.50美元;英国国防部。100.00 (1978).MSC公司:03G30型 03楼50 第03页第55页 03-02 18-02 18日第10天 18D05日 18日第15天 18对25 18甲15 PDF格式BibTeX公司 XML格式
乔恩·巴韦斯(编辑) [凯斯勒,H.J。;Kunen,K。;纽约州莫斯科市。;Troelstra,A.S。;Barwise,J。;埃克洛夫,P.C。;安格斯·J·麦金太尔。;M·莫利。;斯特罗扬,K.D。;马克凯,M。;A.科克。;雷耶斯,G.E。;肖恩菲尔德,J.R。;杰奇,T.J。;J.P.伯吉斯。;德夫林,K.J。;鲁丁、玛丽·艾伦;伊斯坦·华什;Enderton,H.B.公司。;M.戴维斯。;M.O.拉宾。;辛普森,S.G。;罗德岛肖尔。;凯克里斯,A.S。;艾泽尔,P。;D.A.马丁。;斯莫林斯基,C。;施维希滕贝格,H。;Statman,R。;费弗曼,S。;M.P.福曼。;巴伦德雷格特,H.P。;J·巴黎。;哈灵顿,L。] 数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。第二次打印。 (英语) Zbl 0443.03001号 逻辑与数学基础研究第90卷,阿姆斯特丹,纽约,牛津:North-Holland Publishing Company。十一、 1165页,85.00美元;英国国防部。190.00 (1978).MSC公司:03-02 03B10号机组 03C20号 03C35号 05年3月 03C70号 03C75号 03G30型 03E65年 03E20型 03E25型 03E05号 03E35号 03E45型 03E50型 54A35型 03B25号 03天30分 03D60年 03D65年 03日70 05年3月 65楼03号 03B40型 30楼03号 PDF格式BibTeX公司 XML格式
谢拉,S。 分类理论和非同构模型的数量。 (英语) Zbl 0388.03009号 逻辑与数学基础研究第92卷。阿姆斯特丹-纽约-牛津:北荷兰出版公司。十六、 544页62.25美元;英国国防部。140.00 (1978).MSC公司:03C35号 03-02 03C45号机组 03元50分 03年11月15日 03B30型 03C15号 03C20号 03C55号 03C30号 03C65号 03C60型 PDF格式BibTeX公司 XML格式
尼尔·H·威廉姆斯。 组合集理论。 (英语) Zbl 0362.04008号 逻辑与数学基础研究第91卷。阿姆斯特丹-纽约-牛津:北荷兰出版公司。XI、 208页,26.75美元;英国国防部。65.00 (1977).MSC公司:03E05号 03-02 PDF格式BibTeX公司 XML格式
西奥多·海尔佩林 布尔的逻辑和概率。从当代代数、逻辑和概率论的角度进行批判性阐述。 (英语) Zbl 0352.0202号 逻辑与数学基础研究第85卷。阿姆斯特丹-纽约-牛津:北荷兰出版公司。X、 245页Dfl。70.00; $ 24.50 (1976).MSC公司:03-02 03A05号 60A05型 PDF格式BibTeX公司 XML格式
Kuratowski,K。;A.莫斯托夫斯基。 集合论。介绍描述性集合理论。波兰语原版的翻译。第2版,完全修订版。 (英语) Zbl 0337.02034号 逻辑与数学基础研究第86卷。阿姆斯特丹-纽约-奥克斯福德:北荷兰出版公司;华沙:PWN-波兰科学出版社。十四、 514页29.00美元;英国国防部。85.00 (1976).MSC公司:03埃克斯 03-02 PDF格式BibTeX公司 XML格式
盖西·塔库蒂 证明理论。 (英语) Zbl 0354.02027号 逻辑与数学基础研究第81卷。阿姆斯特丹-牛津:North-Holland出版公司;纽约:美国爱思唯尔出版公司第七期,第372页,Dfl。85.00; $ 35.50 (1975).MSC公司:03F99型 03-02 PDF格式BibTeX公司 XML格式
医学硕士Dickmann。 大型无限语言。模型理论。 (英语) Zbl 0324.02010号 逻辑与数学基础研究第83卷。阿姆斯特丹-牛津:North-Holland出版公司;纽约:美国爱思唯尔出版公司XV,464 p.Dfl。100.00; $ 39.95 (1975).MSC公司:03C75号 03-02 03C68号 03C99号 03E55型 PDF格式BibTeX公司 XML格式
威廉·克雷格 代数形式的逻辑。三种语言和理论。 (英语) Zbl 0312.02049号 逻辑与数学基础研究第72卷。阿姆斯特丹-伦敦:North-Holland出版公司;纽约:美国爱思唯尔出版公司VIII,204 p.Dfl。50.00; $ 20.00 (1974).MSC公司:03G15年 03-02 PDF格式BibTeX公司 XML格式
Moschovakis,Yiannis N。 抽象结构的基本归纳法。 (英语) Zbl 0307.02003年 逻辑与数学基础研究第77卷。阿姆斯特丹-伦敦:North-Holland出版公司;纽约:美国爱思唯尔出版公司X,218 p.Dfl。45.00; $ 17.30 (1974).MSC公司:03-02 03D55号 03C99号 PDF格式BibTeX公司 XML格式
海伦娜·拉西奥瓦 非经典逻辑的代数方法。 (英语) Zbl 0299.02069号 逻辑与数学基础研究第78卷。阿姆斯特丹-伦敦:North-Holland出版公司;纽约:美国爱思唯尔出版公司XV,403 p.Dfl。80.00; $ 30.77(1974年)。MSC公司:03Gxx公司 03Bxx号 03-02 PDF格式BibTeX公司 XML格式
弗兰克·R·德雷克。 集合论。介绍大型红衣主教。 (英语) Zbl 0294.02034号 逻辑与数学基础研究第76卷。阿姆斯特丹-伦敦:北荷兰出版公司;纽约:美国爱思唯尔出版公司XII,351 p.Dfl。60.00; $ 23.10 (1974).MSC公司:03E55型 03E35号 03E25型 03E50型 03年11月15日 03C75号 03埃克斯 03E10年 03E05号 05二氧化碳 03E15年 03-02 03C68号 03C30号 03C60型 PDF格式BibTeX公司 XML格式
常,C.C。;凯斯勒,H.J。 模型理论。 (英语) Zbl 0276.02032号 逻辑与数学基础研究第73卷。阿姆斯特丹-伦敦:North-Holland出版公司;纽约:美国爱思唯尔出版公司XII,550 p.Dfl。85.00; $ 26.50 (1973).MSC公司:03-02 03E35号 03E50型 03E55型 03B25号 03B99 03C35号 03C68号 03C30号 03C60型 PDF格式BibTeX公司 XML格式
托马斯·杰赫。 选择的公理。 (英语) Zbl 0259.02051号 逻辑与数学基础研究第75卷。阿姆斯特丹-伦敦:North-Holland出版公司;纽约:美国爱思唯尔出版公司XI,202 p.Dfl。40.00; £12.50 (1973).MSC公司:03-02 03E25型 03E35号 PDF格式BibTeX公司 XML格式
亚伯拉罕·弗伦克尔(Abraham A.Fraenkel)。;Yehoshua Bar-Hillel公司;阿兹里尔·利维 [德克·范·达伦] 集合论基础。与德克·范·达伦合作。第二次修订版。 (英语) Zbl 0248.02071号 逻辑与数学基础研究,67。阿姆斯特丹-朗登:北荷兰德出版公司。十、 404 p.英国国防部。55.00; $ 17.25 (1973).MSC公司:03埃克斯 03-02 PDF格式BibTeX公司 XML格式
彼得·沃彭卡;彼得·哈杰克 半集理论。 (英语) Zbl 0332.02064号 逻辑与数学基础研究, 70. 阿姆斯特丹-朗登:北荷兰德出版公司。332页Hfl。60.00 (1972).MSC公司:03E70型 03E35号 03-02 PDF格式BibTeX公司 XML格式
J.W.艾迪生。(编辑);莱昂·汉金(编辑);阿尔弗雷德·塔斯基(编辑) 模型理论。1963年伯克利国际研讨会论文集。第三次打印。 (英语) Zbl 0275.0203号 逻辑与数学基础研究Amstrerdam-London:北荷兰出版公司。十五、 494页,英国国防部。90.00; $ 33.55(1972年)。MSC公司:00亿Bxx 03-06 03Cxx号 03-02 03年XX月 PDF格式BibTeX公司 XML格式
哈斯克尔·柯里。;J.Roger欣德利;乔纳森·塞尔丁。 组合逻辑。第二卷。 (英语) Zbl 0242.02029 逻辑与数学基础研究第65卷。阿姆斯特丹-朗登:北荷兰德出版公司。十四、 520页Hfl。108.00; 约33.75(1972年)。MSC公司:03B40型 03-02 03D99号 PDF格式BibTeX公司 XML格式
安纳托利·伊万诺维奇(Anatolii Ivanovich Mal'tsev) 威尔斯,B.F.III(编辑) 代数系统的元数学。论文集:1936-1967年。本杰明·富兰克林·威尔斯三世翻译、编辑并提供补充注释。 (英语) Zbl 0231.02002号 逻辑与数学基础研究第66卷。阿姆斯特丹-伦敦:North-Holland Publishing Company。XVIII、 第494页,Dfl。90.00; $ 26.50 (1971).MSC公司:03-02 00亿B50 03Cxx号 PDF格式BibTeX公司 XML格式
凯斯勒,H.杰罗姆 无限逻辑的模型理论。带有可数连词和有限量词的逻辑。 (英语) 兹比尔0222.02064 逻辑与数学基础研究第62卷。阿姆斯特丹-伦敦:North-Holland Publishing Company。十、 208页,英国国防部。40.00 (1971).MSC公司:03C75号 03C35号 03C30号 03C20号 03-02 PDF格式BibTeX公司 XML格式
哈斯克尔·柯里。 数学形式主义哲学概述。第三次打印。 (英语) 兹比尔0256.02002 逻辑与数学基础研究阿姆斯特丹-朗登出版社:North-Holland Publishing Company。七、 75 p.英国国防部。16.00; $ 6.15 (1970).MSC公司:00A30型 03A05号 03-02 PDF格式BibTeX公司 XML格式
Basri,S.A.公司。 空间和时间的演绎理论。 (英语) Zbl 0161.00208号 逻辑与数学基础研究阿姆斯特丹:North-Holland Publishing Company。xii,163页(1966年)。MSC公司:00A30型 00-02 PDF格式BibTeX公司 XML格式
亚伯拉罕·鲁滨逊 非标准分析。 (英语) Zbl 0151.00803号 逻辑与数学基础研究阿姆斯特丹:North-Holland Publishing Company。xi,第293页(1966年)。 审核人:埃利奥特·门德尔森 MSC公司:03-02 03年月日 26E35岁 26-02 26-03 01A65号 28E05号 2006年8月30日 46平方米 47平方米 54J05型 PDF格式BibTeX公司 XML格式 反向链接: 卫生官员
斯托斯·麦考尔 亚里士多德的情态三段论。 (英语) Zbl 0105.24703号 逻辑与数学基础研究阿姆斯特丹:North-Holland Publishing Company。viii,第100页(1963年)。 审核人:G.T.护膝 MSC公司:03-02 PDF格式BibTeX公司 XML格式
古德斯坦,R.L。 递归分析。 (英语) Zbl 0217.30202号 逻辑与数学基础研究阿姆斯特丹:北荷兰出版公司。八、 第138页(1961年)。MSC公司:03层60 03-02 PDF格式BibTeX公司 XML格式
埃弗特·贝思(Evert W.Beth)。 数学基础。科学哲学研究。 (英语) Zbl 0085.24104号 逻辑与数学基础研究阿姆斯特丹:北荷兰出版公司。xxvi,第741页(1959年)。 审核人:W.阿克曼 MSC公司:00A30型 00-02 03-02 PDF格式BibTeX公司 XML格式
R.M.马丁。 走向系统语用学。 (英语) Zbl 0084.00601号 逻辑与数学基础研究阿姆斯特丹:North-Holland Publishing Company。xv,107页(1959年)。 审核人:A.玫瑰 MSC公司:03-02 03Bxx号 PDF格式BibTeX公司 XML格式
哈斯克尔·柯里。;费斯,罗伯特 [威廉·克雷格] 组合逻辑。威廉·克雷格(William Craig)的两篇文章。 (英语) Zbl 0081.24104号 (逻辑与数学基础研究阿姆斯特丹:北荷兰出版公司。XVI、 第417页(1958年)。MSC公司:03-02 03B40型 PDF格式BibTeX公司 XML格式
亚伯拉罕·鲁滨逊 关于代数的元数学。 (英语) Zbl 0043.24702号 逻辑和数学基础研究阿姆斯特丹:North-Holland Publishing Company。ix,194 p.(1951)。 审核人:J.C.谢泼德森 MSC公司:03-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Robinson},关于代数的元数学。阿姆斯特丹:北荷兰出版公司(1951;Zbl 0043.24702)
博钦斯基,I.M。 古代形式逻辑。 (英语) Zbl 0043.24513号 逻辑和数学基础研究阿姆斯特丹:North-Holland Publishing Company。六、 第122页(1951年)。 审核人:海因里希·舒尔茨 MSC公司:03-02 03年3月 01A05号 PDF格式BibTeX公司 XML格式引用 \文本{I.M.Bocheński},古代形式逻辑。阿姆斯特丹:North-Holland出版公司(1951;Zbl 0043.24513)