玛丽亚·何塞·弗拉波利 命题的优先级。实用主义的逻辑哲学。 (英语) Zbl 07689179号 合成库475.查姆:施普林格出版社(ISBN 978-3-031-25228-0/hbk;978-3-331-25231-0/pbk;979-3-031-52229-7/电子书)。第二十四、255页。(2023).MSC公司:03-02 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frápolli},命题的优先级。实用主义的逻辑哲学。查姆:施普林格(2023;Zbl 07689179) 全文: 内政部
本杰明·艾伦·伯吉斯 逻辑没有缺口或过剩。如何在不牺牲经典逻辑的前提下解决悖论。 (英语) Zbl 07485041号 合成库458.查姆:施普林格(ISBN 978-3-030-94623-4/hbk;978-3-0030-94624-1/电子书)。vii,189页。(2022).MSC公司:03-02 03A05号 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Burgis},逻辑没有间隙或过剩。如何在不牺牲经典逻辑的前提下解决悖论。商会:施普林格(2022;Zbl 07485041) 全文: 内政部
Salles,Sagid公司 模糊就是武断。模糊理论概述。 (英语) Zbl 1508.03002号 合成库436.查姆:施普林格(ISBN 978-3-030-66780-1/hbk;978-3-0030-66783-2/pbk;988-3-030-166781-8/电子书)。xiii,206页。(2021).MSC公司:03-02 03A05号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{S.Salles},模糊是任意性。模糊理论概述。查姆:斯普林格(2021;Zbl 1508.03002) 全文: 内政部
汉森,卡斯珀·斯托姆 将数学建立在语义约定上。 (英语) Zbl 1502.00084号 合成库446.查姆:施普林格(ISBN 978-3-030-88533-5/hbk;978-3-0030-88534-2/电子书)。xi,256页。(2021). 审核人:Edoardo Rivello(都灵) MSC公司:00A30型 03-02 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Hansen},基于语义约定建立数学。查姆:施普林格(2021;Zbl 1502.00084) 全文: 内政部
理查德·劳特利;瓦利·劳特利 多米尼克·海德(编辑) 无意识探索2。森林丛林。第3卷。多米尼克·海德编辑。 (英语) Zbl 1452.03002号 合成库查姆:施普林格(ISBN 978-3-030-58863-2/hbk;978-3-0.30-58864-9/电子书)。xxiii,第461页。(2021).MSC公司:03-02 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routely}等人,非能动探索II。森林丛林。第3卷。Dominic Hyde编辑。查姆:斯普林格(2021;Zbl 1452.03002) 全文: 内政部
霍尔格·安德烈亚斯 动态可驾驭的推理。信念修正的模块化方法。 (英语) Zbl 1432.03002号 合成库420.查姆:施普林格(ISBN 978-3-030-36232-4/hbk;978-3-0.30-36233-1/ebook)。十七、236页。(2020).MSC公司:03-02 03A05号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{H.Andreas},动态可控制推理。信念修正的模块化方法。查姆:施普林格(2020;Zbl 1432.03002) 全文: 内政部
马克斯·弗伦德(Max A.Freund)。 分类的逻辑。概念主义方法。 (英语) Zbl 07658004号 合成库408.查姆:施普林格(ISBN 978-3-030-18277-9/hbk;978-3-0.30-18280-9/pbk;988-3-030-18278-6/电子书)。xx,160页。(2019).MSC公司:03-02 03A05号 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Freund},排序逻辑。概念主义方法。查姆:施普林格(2019;Zbl 07658004) 全文: 内政部
理查德·劳特利;瓦尔·劳特利 多米尼克·海德(编辑) 无意识的探索I.森林丛林。第2卷。附加论文。Dominic Hyde编辑。 (英语) Zbl 1433.03004号 合成库415.查姆:施普林格(ISBN 978-3-030-26307-2/hbk;978-3-0030-26309-6/电子书)。xxvi,417页。(2019).MSC公司:03-02 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routely}等人,《非能动探索I.森林丛林》。第2卷。附加论文。Dominic Hyde编辑。查姆:施普林格(2019;Zbl 1433.03004) 全文: 内政部
理查德·劳特利 莫林·埃克特(编辑) [尼古拉斯·格里芬;菲利波·卡萨蒂;多米尼克·海德] 探索美浓的丛林和其他地方。森林丛林。第1卷。尼古拉斯·格里芬(Nicolas Griffin)、理查德·西尔文(Routley)和菲利波·卡萨蒂(Filippo Casati)的补充文章。多米尼克·海德作了介绍。Maureen Eckert编辑。 (英语) Zbl 1433.03003号 合成库394.查姆:施普林格(ISBN 978-3-319-78791-6/hbk;978-3-3169-78793-0/电子书)。李,620页。(2018).MSC公司:03-02 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley}和\textit{M.Eckert}(编辑),探索美浓的丛林和更远的地方。森林丛林。第1卷。尼古拉斯·格里芬(Nicolas Griffin)、理查德·西尔文(Routley)和菲利波·卡萨蒂(Filippo Casati)的补充文章。由多米尼克·海德介绍。由Maureen Eckert编辑。查姆:施普林格(2018;Zbl 1433.03003) 全文: 内政部
伊尔卡·尼尼洛托 通过绑架寻求真相。 (英语) Zbl 1402.03006号 合成库400.查姆:施普林格(ISBN 978-3-319-99156-6/hbk;978-3-3169-99157-3/电子书)。viii,185页。(2018).MSC公司:03-02 03A10号 03A05号 60A05型 62A01型 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{I.Niiniluoto},通过绑架寻求真相。查姆:施普林格(2018;Zbl 1402.03006) 全文: 内政部
安德烈亚·伊科纳 逻辑形式。介于逻辑和自然语言之间。 (英语) Zbl 1380.03001号 合成库393.查姆:施普林格(ISBN 978-3-319-74153-6/hbk;978-3-3169-74154-3/电子书)。viii,133页。(2018).MSC公司:03-02 03A05号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Iacona},逻辑形式。在逻辑和自然语言之间。查姆:施普林格(2018;Zbl 1380.03001) 全文: 内政部
维南西奥·拉斯帕 思考矛盾。尼古拉·阿列克桑德罗维奇·瓦西里耶夫的想象逻辑。 (英语) Zbl 1378.03001号 合成库386.查姆:施普林格(ISBN 978-3-319-66085-1/hbk;978-3-3169-66086-8/电子书)。xxi,第160页。(2017).MSC公司:03-02 03A05号 00A30型 01A70号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Raspa},思考矛盾。尼古拉·亚历克桑德罗维奇·瓦西尔耶夫的想象逻辑。查姆:施普林格(2017;Zbl 1378.03001) 全文: 内政部
安德烈·罗丁 公理方法和范畴理论。 (英语) Zbl 1284.03007号 合成库364.查姆:施普林格(ISBN 978-3-319-00403-7/hbk;978-3-3169-00404-4/电子书)。xi,第285页。(2014). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03-02 03A05号 00A30型 00年3月35日 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rodin},公理方法和范畴理论。查姆:施普林格(2014;Zbl 1284.03007) 全文: 内政部 arXiv公司
叶峰 严格的有限性和数学应用的逻辑。 (英语) Zbl 1279.03006号 合成库355.多德雷赫特:施普林格(ISBN 978-94-007-1346-8/hbk;978-94-07-3631-3/pbk;979-94-007-137-5/电子书)。xii,272页。(2011). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03-02 00A30型 03A05号 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ye},严格有限主义和数学应用逻辑。多德雷赫特:施普林格(2011;Zbl 1279.03006) 全文: 内政部
刘芬荣 关于偏好动态的推理。 (英语) Zbl 1230.03003号 合成库354.多德雷赫特:施普林格出版社(ISBN 978-94-007-1343-7/hbk;978-94-007-1344-4/ebook)。xv,203页。(2011). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03-02 03B42号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{F.Liu},关于偏好动力学的推理。多德雷赫特:施普林格(2011;Zbl 1230.03003) 全文: 内政部
罗尔夫·哈尼;詹·威勒姆·罗梅因;格雷戈里·惠勒;乔恩·威廉姆森 概率逻辑和概率网络。 (英语) Zbl 1213.03031号 合成库350.多德雷赫特:施普林格(ISBN 978-94-007-0007-9/hbk;978-94-007-0008-6/电子书)。xiii,155页。(2011). 审核人:吉尔根·兰德斯(慕尼黑) MSC公司:03B48号 62F03型 2015年1月62日 68层37 03-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Haenni}等人,概率逻辑和概率网络。多德雷赫特:施普林格(2011;Zbl 1213.03031) 全文: 内政部 链接
牟波 实质性透视。一篇关于对真理的哲学关注的文章。 (英语) Zbl 1200.03012号 合成库344.多德雷赫特:施普林格(ISBN 978-90-481-2622-4/hbk;978-90-981-2623-1/电子书)。xii,第217页。(2009).MSC公司:03A05号 03-02 PDF格式BibTeX公司 XML格式引用 \文本{B.Mou},实质性透视主义。一篇关于哲学上对真理的关注的文章。多德雷赫特:施普林格(2009;Zbl 1200.03012) 全文: 内政部
汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊 动态认知逻辑。 (英语) Zbl 1156.03015号 合成库337.多德雷赫特:施普林格(ISBN 978-1-4020-6908-6/pbk;978-1-4020-5838-7/hbk)。xi,第282页。(2008). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B42号 03B45号 68T27型 03-02 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,《动态认知逻辑》。多德雷赫特:施普林格(2008;Zbl 1156.03015) 全文: 内政部
马克·范·艾登 布劳沃会见胡塞尔。关于选择序列的现象学。 (英语) Zbl 1119.03001号 合成库335.多德雷赫特:施普林格(ISBN 1-4020-5086-0/hbk)。xiii,191页。(2007). 审核人:维克托·潘布奇(多特蒙德) MSC公司:03-02 03-03 03A05号 03楼55 00A30型 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.van Atten},布劳沃遇见胡塞尔。关于选择序列的现象学。多德雷赫特:施普林格(2007;Zbl 1119.03001)
阿托查·阿里塞达 诱拐性推理。对发现和解释进行逻辑调查。 (英语) Zbl 1107.03300号 合成库330.多德雷赫特:施普林格出版社(ISBN 1-4020-3906-9/hbk)。十六、225页。(2006).MSC公司:03-02 03A05号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Aliseda},诱因推理。对发现和解释进行逻辑调查。多德雷赫特:施普林格(2006;Zbl 1107.03300)
阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 逻辑符号。皮尔士关于语言、游戏和交流哲学的主题。 (英语) Zbl 1116.03002号 合成库329.多德雷赫特:施普林格(ISBN 1-4020-3728-7/hbk)。xiv,496页。(2006). 审核人:吉姆·麦肯齐(悉尼) MSC公司:03-02 03A05号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.-V.Pietarinen},逻辑符号。皮尔士关于语言、游戏和交流哲学的主题。多德雷赫特:施普林格(2006;Zbl 1116.03002)
阿图尔·罗伊斯扎克 [沃伦斯基,简] 从判决行为到判决。从博尔扎诺到塔斯基的真相传播者问题。 (英语) Zbl 1140.03002号 合成库328.多德雷赫特:施普林格(ISBN 1-4020-3396-6/hbk;1-4020-397-4/电子书)。xv,240页。(2005). 审核人:拉尔斯·洛夫格伦(伦德) MSC公司:03-03 01A60型 03A05号 03-02 PDF格式BibTeX公司 XML格式引用 \文本{A.Rojszczak},从判断行为到句子。从博尔扎诺到塔斯基的真相传播者问题。多德雷赫特:施普林格(2005;Zbl 1140.03002) 全文: 内政部
Yvon Gauthier 内部逻辑。从克罗内克到希尔伯特的数学基础。 (英语) Zbl 1019.03001号 合成库. 310. 多德雷赫特:Kluwer学术出版社。x、 第237页(2002年)。 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03-02 03A05号 30楼03号 00A30型 03-03 01A55号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gauthier},内部逻辑。从克罗内克到希尔伯特的数学基础。多德雷赫特:Kluwer学术出版社(2002;Zbl 1019.03001)
乔瓦尼·索马鲁加 建构主义理论的历史与哲学。 (英语) Zbl 1028.03001号 合成库. 290. 多德雷赫特:Kluwer学术出版社。x、 第354页(2000年)。 审核人:安德烈亚·坎蒂尼(费伦泽) MSC公司:03-02 35楼03号 03A05号 03-03 01A60型 03B15号机组 00A30型 PDF格式BibTeX公司 XML格式引用 \文本{G.Sommaruga},建构型理论的历史与哲学。多德雷赫特:Kluwer学术出版社(2000;Zbl 1028.03001)
弗雷德·沃尔默 代理因果关系。 (英语) Zbl 1025.03501号 合成库. 283. 多德雷赫特:Kluwer学术出版社。vii,168页(1999年)。MSC公司:03A05号 91E99型 03-02 91年02月 PDF格式BibTeX公司 XML格式引用 \textit{F.Vollmer},代理因果关系。多德雷赫特:Kluwer学术出版社(1999;Zbl 1025.03501)
托马斯·普莱克 数学直觉主义和主体间性。直觉主义论据的批判性阐述。 (英语) Zbl 0942.03001号 合成库. 279. 多德雷赫特:Kluwer学术出版社。xii,218 p.(1999)。 审核人:博里奇奇(贝尔格莱德) MSC公司:03-02 03A05号 00A30型 03-03 03B20型 03楼55 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Placek},数学直觉主义和主体间性。直觉主义论据的批判性阐述。多德雷赫特:Kluwer学术出版社(1999;Zbl 0942.03001)
罗马人穆拉夫斯基 递归函数和元数学。完备性和可判定性问题,哥德尔定理。 (英语) Zbl 0934.03001号 合成库. 286. 多德雷赫特:Kluwer学术出版社。xii,391页(1999年)。 审核人:R.Downey(惠灵顿) MSC公司:03-02 03D20日 03-01 30楼03号 03B25号 03-03 03天10分 03天35分 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Murawski},递归函数和元数学。完备性和可判定性问题,哥德尔定理。多德雷赫特:Kluwer学术出版社(1999年;Zbl 0934.03001)
杰切克·帕希·尼切克 有意对象的逻辑。经典逻辑的梅农式版本。 (英语) Zbl 0958.0302号 合成库. 269. 多德雷赫特:Kluwer学术出版社。viii,212页(1998年)。 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03A05号 03-02 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{J.Pa-si-niczek},意向对象的逻辑。经典逻辑的美浓版本。多德雷赫特:Kluwer学术出版社(1998;Zbl 0958.0302)
彼得·弗莱彻 真理、证明和无限。建构主义和建构推理理论。 (英语) Zbl 0927.03003号 合成库. 276. 多德雷赫特:Kluwer学术出版社。ix,469页(1998年)。 审核人:V.Ya.公司。克雷诺维奇(埃尔帕索) MSC公司:03-02 03楼50 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Fletcher},真理,证明和无限。建构主义和建构推理理论。多德雷赫特:Kluwer学术出版社(1998;Zbl 0927.03003)
乌韦·梅克斯纳 公理形式本体。 (英语) Zbl 0894.03005号 合成库. 264. 多德雷赫特:Kluwer学术出版社。ix,392页(1997年)。 审核人:L.F.Goble(塞勒姆) MSC公司:03A05号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{U.Meixner},公理化形式本体论。多德雷赫特:Kluwer学术出版社(1997;Zbl 0894.03005)
菲利普,太棒了;查尔斯·赛沃德 内涵与真理。一篇关于A.N.Prior哲学的文章。 (英语) Zbl 0948.03502号 合成库. 255. 多德雷赫特:Kluwer学术出版社。xi,422页(1996年)。MSC公司:03A05号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{P.Hugly}和\textit{C.Sayward},内涵与真理。一篇关于A.N.Prior哲学的文章。多德雷赫特:Kluwer学术出版社(1996;Zbl 0948.03502)
罗伯托·费斯塔 最佳归纳法。 (英语) Zbl 0826.62005号 合成库. 232. 多德雷赫特:Kluwer学术出版社。xiii,193 p.(1993)。 审核人:H.E.Kyburg(罗切斯特) MSC公司:62A01型 60A05型 03B48号 62-02 60-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Festa},最佳归纳法。多德雷赫特:Kluwer学术出版社。(1993年;Zbl 0826.62005)
约翰·范·本特姆 时间的逻辑。对时间本体和时间话语多样性的模型理论研究。2.修订版。 (英语) 兹伯利0758.03012 合成库. 156. 多德雷赫特:Kluwer学术出版社。xxii,280页(1991年)。MSC公司:03B45号 03C99号 03-01 03-02 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},时间的逻辑。对时间本体和时间话语多样性的模型理论研究。2.修订版Dordrecht:Kluwer学术出版社(1991;Zbl 0758.03012)
E.T.杰恩斯。 [罗森克兰茨。] 概率、统计学和统计物理学论文。编辑:R.D.Rosenkrantz。帕拉斯平装书。 (英语) Zbl 0687.60085号 合成库, 158. Dordrecht等:Kluwer学术出版社。xxiv,434 p.英国国防部。70.00; £22.00; $ 34.00 (1989). 审核人:P.马斯兰卡 MSC公司:60K35型 82-02 82个B05 60-02 94甲17 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{E.T.Jaynes},概率、统计学和统计物理学论文。编辑:R.D.Rosenkrantz。帕拉斯平装书。Dordrecht等:Kluwer学术出版社(1989;Zbl 0687.60085)
理查德·L·铁岑。 数学直觉。现象学和数学知识。 (英语) 兹伯利0686.03003 合成库,203。Dordrecht等:Kluwer学术出版集团。xiv,209 p.英国国防部。130.00; £39.50; $ 69.00 (1989). 审核人:W.伦琴 MSC公司:03A05号 00年3月35日 03-02 00-02 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Tieszen},数学直觉。现象学和数学知识。Dordrecht等:Kluwer学术出版集团(1989;Zbl 0686.03003)
莱萨德·沃西奇基 逻辑计算理论。后果运算的基本理论。 (英语) 兹比尔0682.03001 合成库, 199. Dordrecht等:Kluwer学术出版社。xviii,473页£52.00;$94.00; 英国国防部。180.00 (1988). 审核人:C.F.基尔科夫 MSC公司:03Bxx号 03B99号 03-01 03-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Wójcicki},逻辑计算理论。后果运算的基本理论。Dordrecht等:Kluwer学术出版社(1988;Zbl 0682.03001)
大卫·H·赫尔曼。(编辑) 类比推理:人工智能、认知科学和哲学的观点。 (英语) 兹伯利0662.68094 合成库,第197页。Dordrecht等:Kluwer学术出版社。七、 428页。;英国国防部。210.00; $ 99.00; £65.00 (1988). 审核人:埃里卡·梅利斯(萨尔布吕肯) MSC公司:68T99型 68-02 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Helman}(编辑),类比推理:人工智能、认知科学和哲学的观点。Dordrecht等:Kluwer学术出版社(1988;Zbl 0662.68094)
沃尔夫冈·巴尔泽;穆林斯(C.Ulises);约瑟夫·斯奈德。 科学建筑学。结构主义方案。 (英语) Zbl 0649.0302号 合成库第186卷。Dordrecht等:D.Reidel出版公司,Kluwer学术出版集团成员。三十七、 第431页。;英国国防部。215.00; $ 99.00; £76.50 (1987). 审核人:I.古尔瓦克 MSC公司:03A05号 03-02 PDF格式BibTeX公司 XML格式
伊尔卡·尼尼洛托 真实性。 (英语) 兹伯利0639.03005 合成库《认识论、逻辑、方法论和科学哲学研究》,第185卷。Dordrecht等:D.Reidel出版公司,Kluwer学术出版集团成员。XVII、 第518页(1987年)。MSC公司:03A05号 03-02 PDF格式BibTeX公司 XML格式
迈克尔·德特莱夫森 希尔伯特的节目。一篇关于数学工具主义的文章。 (英语) Zbl 0641.03001号 合成库第182卷。Dordrecht等:D.Reidel出版公司,Kluwer学术出版集团成员。十四、 186页。;英国国防部。98.00; $ 42.00; £27.95 (1986). 审核人:圣戈特瓦尔德 MSC公司:03-02 03A05号 00A30型 03B99号 03F99型 PDF格式BibTeX公司 XML格式
D.加巴伊。(编辑);F.根特纳。(编辑) [R.A.布尔。;塞格伯格,K。;J.P.伯吉斯。;托马森·R·H·。;范·本特姆(J.van Benthem)。;J.W.加森。;北非柯奇亚雷拉。;安德森,C.A。;螺母,D。;斯莫林斯基,C。;D.哈雷。;奥奎斯特,L。;D.哈拉。] 哲学逻辑手册。第二卷:经典逻辑的扩展。 (英语) Zbl 0572.03003号 合成库,第165卷。Dordrecht-Boston-Lancaster:D.Reidel出版公司,Kluwer学术出版社集团成员。十一、 776页,英国国防部。267.75; $ 102.00; £68.25 (1984). 审核人:S.D.拉托 MSC公司:03-02 03A05号 03B45号 03B60号 68问题65 03C80号 PDF格式BibTeX公司 XML格式
D.加巴伊。(编辑);F.根特纳。(编辑) [霍奇斯,W。;桑霍姆(G.Sundholm)。;H.勒布朗。;范·本特姆(J.van Benthem)。;Doets,K。;A.Hazen。;德克·范·达伦] 哲学逻辑手册。第一卷:经典逻辑要素。 (英语) Zbl 0538.03001号 合成库第164卷。多德雷赫特-波士顿-兰卡斯特:D.Reidel出版公司,Kluwer学术出版集团成员。十一、 493页,英国国防部。225.00; $ 98.00 (1983). 审核人:圣戈特瓦尔德 MSC公司:03-02 03B10号机组 03B05号 03B15号机组 03年月日 00A20型 03A05号 PDF格式BibTeX公司 XML格式
配件,梅尔文 模态逻辑和直觉逻辑的证明方法。 (英语) Zbl 0523.03013号 合成库,第169卷。多德雷赫特-波士顿-兰卡斯特:D.Reidel出版公司。八、 555页65.00美元;数据流。150.00(1983年)。MSC公司:03B45号 03-02 03C35号 05年3月 PDF格式BibTeX公司 XML格式
A.F.帕克罗兹。 无法区分的理论。寻找低于物理学水平的解释性原理。 (英语) Zbl 0492.03001号 合成库,第150卷。多德雷赫特-波士顿-伦敦:D.Reidel出版公司。十四、 216页39.50美元;英国国防部。90.00 (1981).MSC公司:03-02 03E70型 03A05号 00A79号 81第05页 03E75型 PDF格式BibTeX公司 XML格式
埃文德罗·阿加齐(编辑) [Bochenski,J.M。;S.J.苏尔马。;库尔特·舒特;安格斯·J·麦金太尔。;乔治·克雷塞尔;J·巴韦斯。;A.罗斯。;贝尔纳普,N.D.jun。;E.卡萨里。;G.武提。;Hermes,H。;Troelstra,A.S。;Jens Erik芬斯塔德;雷耶斯,G.E。;Agazzi,E。;辛提卡,J。;Böhm,C。;Massey,G.J.(马萨诸塞州)。;Dalla Chiara,M.L。;科恩,L.J。;列杰夫斯基,C。;冯·赖特,G.H。;Van Fraassen,不列颠哥伦比亚省。;R.斯坦纳克。;佩雷尔曼,C。] 现代逻辑——一项调查。现代逻辑及其应用的历史、哲学和数学方面。 (英语) Zbl 0464.03001号 合成库,第149卷。多德雷赫特,波士顿,伦敦:D.Reidel出版公司。八、 475页68.50美元;英国国防部。130.00 (1981).MSC公司:03-02 03-03 03A05号 03Bxx号 03Cxx号 03年月日 03埃克斯 03Fxx公司 03克xx 03小时xx 03年XX月 03楼55 03天10分 03B50号 03G30型 03B40型 03B45号 81页第10页 03G12号机组 03-06 01A60型 01A65号 PDF格式BibTeX公司 XML格式
Dov M.加巴伊。 海廷直觉主义逻辑中的语义研究。 (英语) Zbl 0453.03001号 合成库,第148卷。多德雷赫特-波士顿-伦敦:D.Reidel出版公司。十、 287 p.英国国防部。100.00; $ 52.50 (1981).MSC公司:03-01 03-02 03B60号 03B55号 03楼50 03楼55 PDF格式BibTeX公司 XML格式
贾德森·钱伯斯·韦伯 机制、唯心主义和元数学。一篇关于有限论的文章。 (英语) Zbl 0454.03001号 合成库,第137卷。多德雷赫特-波士顿-伦敦:D.Reidel出版公司。十三、 277页28.95美元;英国国防部。55.00 (1980).MSC公司:03A05号 00A30型 03天10分 03-02 1999年3月 PDF格式BibTeX公司 XML格式
约瑟夫·斯奈德。 数学物理的逻辑结构。第2版,修订版。 (英语) Zbl 0426.03002号 合成库, 35. 帕拉斯平装本,14。多德雷赫特-博斯顿-伦敦:D.Reidel出版公司。二十五、 320 p.Dfl.(英国国防部)。28.00; $ 14.75 (1979).MSC公司:03A05号 03-02 70A05型 00A79号 PDF格式BibTeX公司 XML格式
Kenneth A.Bowen。 模态逻辑的模型理论。模态谓词计算的克里普克模型。 (英语) Zbl 0395.03022号 合成库第127卷。多德雷赫特,波士顿,伦敦:D.Reidel出版公司。十、 128 p.深度。50.00; $ 24.00(1979年)。MSC公司:03Cxx号 03B45号 03-02 PDF格式BibTeX公司 XML格式
彼得·米特尔斯泰德 量子逻辑。 (英语) Zbl 0411.03059号 合成库第126卷。多德雷赫特-波士顿-伦敦:D.Reidel出版公司。八、 149页(1978年)。MSC公司:03G12号机组 03-02 PDF格式BibTeX公司 XML格式
杰西·吉迪明(编辑) Kazimierz Ajdukiewicz:科学世界观和其他论文,1931-1963年。 (英语) Zbl 0371.0203号 合成库第108卷。多德雷赫特-霍兰德/波士顿-美国:D.Reidel出版公司。LIII,378页,英国国防部。125.00; $ 49.50 (1978).MSC公司:03-03 03A05号 03-02 00A30型 01A75号 01A70号 PDF格式BibTeX公司 XML格式
理查德·格兰迪(Richard E.Grandy)。 应用程序的高级逻辑。 (英语) Zbl 0381.03003号 合成库第110卷。多德雷赫特-波士顿:D.Reidel出版公司。十一、 167页,英国国防部。60.00; $ 24.00 (1977).MSC公司:03-02 03-01 03A05号 00A06级 PDF格式BibTeX公司 XML格式
西蒙,赫伯特·A。 科学方法中的发现模型和其他主题。 (英语) Zbl 0363.00014号 波士顿科学哲学研究。第六卷。合成库第114卷。多德雷赫特-波士顿:D.Reidel出版公司。十九、 第456页(1977年)。MSC公司:00A30型 03A05号 03-02 00亿Bxx PDF格式BibTeX公司 XML格式
桑德拉·哈丁。(编辑) [皮埃尔·迪昂;威拉德·范·奥曼·奎因;卡尔·亨佩尔。;卡尔·波普尔。;阿道夫·格伦巴姆;托马斯·库恩;劳丹,劳丹;卡洛·吉安诺尼;加里·威基;玛丽·黑塞;伊姆雷·拉卡托斯;保罗·K·费耶阿本德。] 理论能被驳倒吗?关于杜亨-奎因论文的论文。 (英语) Zbl 0397.03001号 合成库,第81卷。波士顿多德雷赫特:D.Reidel Publishing Company,XXI,318 p.Dfl。110.00 (1976).MSC公司:03A05号 03-06 03-02 PDF格式BibTeX公司 XML格式
Dov M.加巴伊。 模态逻辑和时态逻辑的研究及其在哲学和语言学问题中的应用。 (英语) Zbl 0374.02013 合成库第92卷。多德雷赫特-波士顿:D.Reidel出版公司。X、 306页Dfl。95.00; $ 36.00 (1976).MSC公司:03B45号 03-02 03A05号 PDF格式BibTeX公司 XML格式
罗伯特·麦克阿瑟。 时态逻辑。 (英语) Zbl 0371.02013号 合成库第111卷。多德雷赫特-波士顿:D.Reidel出版公司。84 p.英国国防部。43.00; $ 16.00 (1976).MSC公司:03B99号 03B45号 03-02 PDF格式BibTeX公司 XML格式
约翰·M·维克斯。 信念和概率。 (英语) Zbl 0366.0206号 合成库第104卷。多德雷赫特-波士顿:D.Reidel出版公司。八、 202页,英国国防部。50.00; $ 18.50 (1976).MSC公司:03A05号 03B99号 62A01型 60A05型 03-02 PDF格式BibTeX公司 XML格式
费希宾,E。 儿童概率思维的直观来源。作者原稿的法语译文。 (英语) Zbl 0363.60001号 合成库第85卷。荷兰多德雷赫特-美国波士顿:D.Reidel出版公司。十、 204 p.布料厚度。75.00; $ 29.00 (1975).MSC公司:60-00 60-02 60A05型 PDF格式BibTeX公司 XML格式
欧内斯特·亚当斯。 条件句的逻辑。概率在演绎逻辑中的应用。 (英语) Zbl 0324.02002号 合成库第86卷。荷兰多德雷赫特-美国波士顿:D.Reidel Publishing Company。十三、 155 p.布料。55.00; $ 22.00 (1975).MSC公司:03A05号 03B99号 03-02 PDF格式BibTeX公司 XML格式
贾科·辛提卡 意向性的意图和其他新模式。 (英语) Zbl 0323.02029号 合成库第90卷。荷兰多德雷赫特-美国波士顿:D.Reidel出版公司。十八、 262 p.hbk:英国国防部。85.00; $ 34.00; pbk:英国国防部。45.00; $ 17.00(1975年)。MSC公司:03B45号 03A05号 03B99号 03-02 PDF格式BibTeX公司 XML格式
贾科·辛提卡(编辑) [亨佩尔,C.G。;A.韦德伯格。;R.A.埃伯雷。;卡纳普,R。;卡普兰,D。;R.沃伊西奇。;威廉姆斯,P.M。;J.A.温妮。;博内特,H.G。;霍尔当事人,B。;A.卡瑟。;R.C.杰弗里。;R·希尔皮宁。;科伊珀斯,T.A.F。;W.K.埃斯勒。;A.希莫尼。] 鲁道夫·卡纳普,逻辑经验主义者。材料和观点。 (英语) Zbl 0323.02006号 合成库第73卷。多德雷赫特-波士顿:D.Reidel出版公司。LXVIII,400页,英国国防部。150.00; $ 58.00 (1975).MSC公司:03A05号 03-02 03-06 00亿Bxx PDF格式BibTeX公司 XML格式
亨利·朱恩·凯伯格。 统计推断的逻辑基础。 (英语) Zbl 0335.02001号 合成库, 65. Dordrecht-Boston:D.Reidel出版公司。IX、 第427页hbk:Dfl。115.00, $39.50; pbk:英国国防部。48.00美元,14.75美元(1974年)。MSC公司:03A05号 03B99 03-02 62-00 60-00 PDF格式BibTeX公司 XML格式
卡齐米尔兹·阿杜基维奇兹 实用逻辑。乌列吉尔德·沃伊塔西维茨(Olgierd Wojtasiewicz)翻译自波兰语。 (英语) Zbl 0307.02005年 合成库第62卷。多德雷赫特-波士顿:D.Reidel出版公司;华沙:PWN-Polish Scientific Publishers。十五、 460页,英国国防部。110.00; $ 39.50 (1974).MSC公司:03A05号 03B99号 03-02 60A05型 60-02 PDF格式BibTeX公司 XML格式
帕特里克·苏普斯(编辑) 空间、时间和几何。 (英语) Zbl 0286.50001号 合成库荷兰多德雷赫特-美国波士顿:D.Reidel Publishing Company。十一、 第424页(1973年)。MSC公司:51A99号 51-02 03-03 53立方厘米 51-03 01A50号 01A60型 00A30型 03A05号 51M99型 53元50 PDF格式BibTeX公司 XML格式
伊尔卡·尼尼洛托;雷莫·托梅拉 理论概念和假设归纳推理。 (英语) 兹标0281.02003 合成库荷兰多德雷赫特:D.Reidel出版公司。十、 264 p.英国国防部。70.00 (1973).MSC公司:03A05号 03B99号 03-02 62-00 PDF格式BibTeX公司 XML格式
Zinov’ev,A.A。 科学知识逻辑理论基础(复杂逻辑)。由T.J.Blakeley从俄语翻译而来。G.A.Smirnov、E.A.Sidorenko、A.M.Fedina和L.A.Bobrova修订并扩大了英文版,并附有附录。 (英语) Zbl 0264.02005 合成库《波士顿科学哲学研究》,第9页。Dordrecht-Boston:D.Reidel出版公司。二十二、 300 p.pbk:英国国防部。43.00; hbk:Dfl.72.00(1973)。MSC公司:03B99号 03A05号 03-02 PDF格式BibTeX公司 XML格式
Sören Stenlund 组合词,(lambda)-项和证明理论。 (英语) Zbl 0248.02032号 合成库多德雷赫特·霍兰德:D.Reidel出版公司。184页,英国国防部。40.00 (1972).MSC公司:03F99型 03-02 03B40型 PDF格式BibTeX公司 XML格式
约瑟夫·斯奈德。 数学物理学的逻辑结构。 (英语) Zbl 0324.02001号 合成库多德雷赫特·霍兰德:D.Reidel出版公司。XIII、 311第F 70.00页(1971年)。MSC公司:03A05号 03B99 03-02 PDF格式BibTeX公司 XML格式
约瑟夫·斯奈德。 数学物理的逻辑结构。 (英语) Zbl 0296.02017号 合成库多德雷赫特·霍兰德:D.Reidel出版公司。十三、 311页,英国国防部。70.00 (1971).MSC公司:03B99号 03-02 PDF格式BibTeX公司 XML格式
J.-L.克里文。 公理集理论简介。 (英语) Zbl 0212.32402号 合成库荷兰多德雷赫特:D.Reidel Publishing Company VI,97 p.(1971)。MSC公司:03埃克斯 03-02 PDF格式BibTeX公司 XML格式
唐纳德·戴维森(编辑);贾科·辛提卡(编辑) 言语和反对。关于W.V.奎因工作的论文。 (英语) Zbl 0188.31101号 合成库荷兰多德勒支:D.Reidel出版公司。viii,第366页(1969年)。MSC公司:00A30型 03-02 PDF格式BibTeX公司 XML格式