阿波斯托洛斯·西罗普洛斯;格拉梅诺斯，提奥芬尼斯 模糊数学的现代导论。 （英语） Zbl 1524.03002号 新泽西州霍博肯：John Wiley&Sons（ISBN 978-1-119-44528-9/hbk；978-1-119-144532-6/电子书）。十七、363页。（2020年）。MSC公司：03-02 03E72型 03B52号 05C72号 16年80 20N25型 26E50型 54A40型 60A86型 62层86 68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.Syropoulos}和\textit{T.Grammenos}，模糊数学的现代导论。新泽西州霍博肯：John Wiley&Sons（2020；Zbl 1524.03002） 全文： 内政部
卡尔文·琼斯玛 通过逻辑和证明介绍离散数学。 （英语） 兹比尔1423.03004 数学本科生课文查姆：施普林格（ISBN 978-3-030-25357-8/hbk；978-3-0.30-25358-5/电子书）。第xx页，共482页。（2019）。MSC公司：03-01 05-01 03B05号 03年10月 05轴 05Cxx号 06-01 PDF格式BibTeX公司 XML格式引用 \textit{C.Jongsma}，通过逻辑和证明介绍离散数学。查姆：施普林格（2019；Zbl 1423.03004） 全文： 内政部
费利克斯·卡纳沃伊 Cayley结构和公共知识逻辑的表现力。 （英语） Zbl 1440.03001号 达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）。110页。(2018).MSC公司：03-02 03B42号 05时25分 05第57页 PDF格式BibTeX公司 XML格式引用 \textit{F.Canavoi}，Cayley结构和公共知识逻辑的表达性。达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）（2018；Zbl 1440.03001） 全文： 链接
瓦桑塔·坎达萨米，W.B。;佛罗伦萨斯马兰达什;Ilanthenral，K。 伪格图及其在模糊和中子学模型中的应用。 （英语） Zbl 1303.05161号 布鲁塞尔：EuropaNova（ISBN 978-1-59973-296-1/pbk）。275页。（2014年）。MSC公司：05C72号 05-01 06-01 06B75号 00A71号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{W.B.Vasantha-Kandasamy}等人，伪格点图及其在模糊和中子学模型中的应用。布鲁塞尔：EuropaNova（2014；Zbl 1303.05161） 全文： 内政部
丹尼斯·赫施费尔特（Denis R.Hirschfeldt）。 Chong、Chitat（编辑）;冯，齐（编辑）;西奥多·斯莱曼（Theodore A.Slaman）。（编辑）;伍丁·W·休（编辑）;杨，岳（编辑） 切碎真相。关于组合原理的可计算数学和逆向数学。 （英语） Zbl 1304.03001号 课堂笔记系列。数学科学研究所。新加坡国立大学28.新泽西州哈肯萨克：世界科学（ISBN 978-981-4612-61-66/hbk；978-981-14612-63-0/电子书）。第十五卷，第214页。（2014年）。 审核人：杰弗里·赫斯特（布恩） MSC公司：03-02 03B30型 35楼03号 03日30分 03天80 2005年3月 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Hirschfeldt}等人，切片真相。关于组合原理的可计算数学和逆向数学。新泽西州哈肯萨克：世界科学（2014；Zbl 1304.03001） 全文： 内政部
伯恩德·鲍姆加滕 离散数学简编。（马塞马提克公园） （德语） Zbl 1302.00001号 德格鲁伊特工作室柏林：De Gruyter/Oldenbourg（ISBN 978-3-486-75697-5/pbk；978-3-486-78132-8/电子书）。ix，第378页。（2014年）。 审核人：梅林·卡尔（康斯坦茨） MSC公司：00-01 68卢比 03-01 05元50分 05Cxx号 00A06号 05-01 15-01 03B70号 60年XX月 PDF格式BibTeX公司 XML格式引用 \textit{B.Baumgarten}，Kompendium der diskreten Mathematik。柏林：De Gruyter/Oldenbourg（2014；Zbl 1302.00001） 全文： 内政部
奥利维尔·盖斯克特;安德烈亚斯·赫齐格;比拉尔说;弗朗索瓦州施瓦岑特鲁伯 克里普克的世界。通过tableaux介绍模态逻辑。 （英语） Zbl 1280.03001号 泛逻辑研究巴塞尔：Birkhäuser/Springer（ISBN 978-3-7643-8503-3/pbk；978-3-76 43-8504-0/电子书）。第十五章，198页。（2014年）。 审核人：安德烈·因德泽扎克（Andrzej Indrzejczak） MSC公司：03-01 03B35型 03B42号 03B45号 05C90年 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Gasquet}等人，克里普克的世界。通过tableaux介绍模态逻辑。巴塞尔：Birkhäuser/Springer（2014；Zbl 1280.03001） 全文： 内政部
阿米鲁什·莫克特菲（编辑）;孙柔欣（编辑） 用图表进行可视化推理。 （英语） Zbl 1270.03022号 泛逻辑研究巴塞尔：Birkhäuser/Springer（ISBN 978-3-0348-0599-5/pbk；978-3-0.348-0600-8/电子书）。xv，200页。(2013).MSC公司：03-06 00B15号机组 00A30型 00A35型 03-03 03A05号 03Bxx号 05C62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Moktefi}（编辑）和\textit{S.-J.Shin}（主编），用图表进行视觉推理。巴塞尔：Birkhäuser/Springer（2013；Zbl 1270.03022） 全文： 内政部
亚历山大·克鲁泽。 证明挖掘和组合学。Ramsey配对定理的程序提取。 （英语） 兹比尔1262.03003 达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）。147页。(2012). 审核人：劳伦·伊乌·鲁什坦（布库雷什蒂） MSC公司：03-02 03B30型 03天80 2010年1月3日 35楼03号 03层60 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kreuzer}，证明挖掘和组合学。Ramsey配对定理的程序提取。达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）（2012；Zbl 1262.03003） 全文： 链接
布鲁诺·库塞尔;约斯特·恩格尔弗里特 [莫里斯·尼瓦特] 图结构和一元二阶逻辑。一种语言理论方法。 （英语） Zbl 1257.68006号 数学及其应用百科全书138.剑桥：剑桥大学出版社（ISBN 978-0-521-89833-1/hbk）。xiv，728页。(2012). 审核人：赛义德·萨利希（大不里士） MSC公司：68-02 03B15号机组 05年3月 05C85号 05C90年 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Engelfriet}，图结构和一元二阶逻辑。一种语言理论方法。剑桥：剑桥大学出版社（2012；Zbl 1257.68006）
吉恩·盖利埃 离散数学。 （英语） Zbl 1227.05002号 Universitext（通用文本）柏林：施普林格出版社（ISBN 978-1-4419-8046-5/pbk；978-1-441 9-8047-2/电子书）。xiii，465页。（2011年）。 审核人：马蒂娜·库比茨克（维也纳） MSC公司：05-01 05轴 05Cxx号 06轴 XX年06月 68卢比 68兰特 97E30型 03Bxx号 97克10 PDF格式BibTeX公司 XML格式引用 \textit{J.Gallier}，离散数学。柏林：施普林格出版社（2011；Zbl 1227.05002） 全文： 内政部
大卫·冈德森。 数学归纳法手册。理论和应用。 （英语） Zbl 1242.00005号 离散数学及其应用佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4200-9364-3/hbk；978-1-138-19901-9/pbk）。第二十四条，第893页。（2011年）。 审核人：弗兰兹·莱默梅耶（贾格策尔） MSC公司：00A05号 00A07年 03-01 05-01 11-01 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Gunderson}，《数学归纳手册》。理论和应用。佛罗里达州博卡拉顿：CRC出版社（2011；Zbl 1242.00005）
纳贝宾，A.A。 离散数学。(Дискретная математика.) （俄语） Zbl 1250.05004号 莫斯科：NauchnyĭMir（ISBN 978-5-91522-190-0/hbk）。509页。(2010). 审核人：罗马·维图阿（格利维塞） MSC公司：05-01 00A05号 03B05号 11轴 11T71型 PDF格式BibTeX公司 XML格式引用 \textit{A.Nabebin}，Дискреринаямаемарика（俄语）。莫斯科：NauchnyĭMir（2010；Zbl 1250.05004）
米克洛斯·费伦齐（编辑）;安德拉斯·帕塔里察（编辑）;拉霍斯·罗奈（编辑） 计算中的形式化方法。 （英语） Zbl 1110.68001号 布达佩斯：Akadémiai Kiadó（ISBN 963-05-8258-9）。x、 第425页。(2005).MSC公司：68-06 03B70号 05C85号 68平方米 2005年第68季度 65年第68季度 60年第68季度 68兰特 68T27型 68周01 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferenczi}（编辑）等，《计算中的形式方法》。布达佩斯：Akadémiai Kiadó（2005；Zbl 1110.68001）
J.斯宾塞。 随机图的奇怪逻辑。 （英语） Zbl 0976.05001号 算法和组合数学. 22. 柏林：斯普林格。x、 168页（2001年）。 审核人：奥夫·弗兰克（斯德哥尔摩） MSC公司：05-02 05C80号 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{J.Spencer}，随机图的奇怪逻辑。柏林：施普林格出版社（2001；Zbl 0976.05001）
彭纳，R.C。 离散数学。证明技术和数学结构。 （英语） Zbl 0969.03001号 新加坡：世界科学。xv，469页（1999年）。 审核人：A.纳贝宾（莫斯科） MSC公司：03-01 68-01 68卢比 05-01 11-01 03年10月 03E20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Penner}，离散数学。证明技术和数学结构。新加坡：世界科学（1999；Zbl 0969.03001）
康威，J.H。;新泽西州斯隆。 [E.班奈。;博尔切兹，R.E。;J.利奇。;诺顿，S.P。;奥德利兹科，A.M。;R.A.帕克。;L·奎因。;文科夫，B.B。] 球形填料、格架和组。另外还有E.Bannai、R.E.Borcherds、J.Leech、S.P.Norton、A.M.Odlyzko、R.A.Parker、L.Queen和B.B.Venkov的捐款。第3版。 （英语） Zbl 0915.52003号 德国数学研究所. 290. 纽约州纽约市：斯普林格。lxxiv，703 p.（1999）。 审核人：Jörg M.Wills（西根） MSC公司：52C17号 52C07型 2006年11月 11-02 05-02 05B40号 52-02 03B30型 05年05月 2008年第20天 11层27 94比99 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Conway}和\textit{N.J.A.Sloane}，球体填料、晶格和群。另外还有E.Bannai、R.E.Borcherds、J.Leech、S.P.Norton、A.M.Odlyzko、R.A.Parker、L.Queen和B.B.Venkov的捐款。第三版，纽约州纽约市：Springer（1999；Zbl 0915.52003） 反向链接： 卫生官员
伊娜·希林 图上的层次接受系统和一元二阶逻辑。 （英语） Zbl 0919.03004号 基尔：基尔大学，信息与实践数学研究所，177 S.（1998）。MSC公司：03B15号机组 05年3月 65年第68季度 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{I.Schiering}，图上的层次接受系统和一元二阶逻辑。基尔：基尔大学信息与实践数学研究所（1998；Zbl 0919.03004）
康威，J.H。;新泽西州斯隆。 球形填料、格架和组。另外还有E.Bannai、R.E.Borcherds、J.Leech、S.P.Norton、A.M.Odlyzko、R.A.Parker、L.Queen和B.B.Venkov的捐款。2.编辑。 （英语） Zbl 0785.11036号 德国数学研究所. 290. 纽约：斯普林格-弗拉格。xliii，679页（1993年）。 审核人：J.Elstrodt（穆斯特） MSC公司：11小时31分 52C07型 52C17号 2006年11月 11-02 05-02 05B40号 52-02 03B30型 05年05月 2008年第20天 11层27 94比99 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Conway}和\textit{N.J.A.Sloane}，球体填料、晶格和群。另外还有E.Bannai、R.E.Borcherds、J.Leech、S.P.Norton、A.M.Odlyzko、R.A.Parker、L.Queen和B.B.Venkov的捐款。2.编辑纽约：Springer-Verlag（1993；Zbl 0785.11036）
G.Halász。（编辑）;洛瓦兹，L。（编辑）;米克洛斯，D。（编辑）;Szönyi，T。（编辑） 集合、图形和数字。向Vera T.SóS和AndráS Hajnal致敬。 （英语） Zbl 0925.05001号 数学学术讨论会. 60. 阿姆斯特丹：North-Holland Publishing Company。752页（1992年）。MSC公司：05-06 03B30型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Halász}（编辑）等人，《集合、图形和数字》。向Vera T.SóS和AndráS Hajnal致敬。阿姆斯特丹：North-Holland Publishing Company（1992；Zbl 0925.05001）
伊万·斯托伊梅诺维奇 多值逻辑中的一些组合和算法问题。 （英语） Zbl 0644.03010号 诺维·萨德：诺维·萨德大学，数学研究所。三、 150页（1987年）。 审核人：A.M.科因 MSC公司：03B50号 03-02 94立方厘米 2015年1月5日 03-04 2004年5月 PDF格式BibTeX公司 XML格式
亚布隆斯基、谢尔盖·维塞沃洛多维奇 离散数学导论。（视频点播做diskrétnej matematiky）。Transl.公司。来自俄罗斯作家I.Haverlík。 （斯洛伐克语） Zbl 0638.94001号 布拉迪斯拉发：阿尔法（Alfa），维达瓦尔电视台技术频道（Tvo Technickej a Ekonomickej Literat-ry）；Praha：SNTL，NakladatelstvíTechnické文学。278页。；Kčs 23.00（1984）。MSC公司：94-01 94立方厘米 94C15号机组 94比99 03B50号 05C99年 03D60年 PDF格式BibTeX公司 XML格式
弗勒，马丁 无约束有限多米诺问题的计算复杂性（对逻辑决策问题有影响）。 （英语） Zbl 0549.68037号 逻辑与机器：决策问题与复杂性，Proc。交响乐团。，穆斯特/德国。1983年，勒克特。注释计算。科学。第171312-319页（1984年）。MSC公司：65年第68季度 2015年3月1日 05B45号 03B25号 PDF格式BibTeX公司 XML格式
Yablonskij，S.V.公司。 离散数学简介。德吉拉利·恩巴雷克的俄罗斯传统。 （法语） Zbl 0505.94002号 莫斯科：和平号。285 p.R 1.60（1983年）。MSC公司：94-01 94比99 03B50号 05C99年 03D60年 94立方厘米 94C15号机组 PDF格式BibTeX公司 XML格式
弗里德·卡登 Zur Formalisierung induktiver Schlüsseüber strukturierten Objekten公司。 （德语） Zbl 0465.68048号 Akad ZKI公司。威斯。DDR 3/80，3-42（1980）。MSC公司：68T99型 05C99年 08A02级 03年10月 PDF格式BibTeX公司 XML格式
G.伯罗斯。（编辑）;H·基塞韦特。（编辑） [于瓦西尔埃夫。L。;Vetukhnovskiĭ，F.Ya。;格拉戈列夫，V.V。;Yu Zhuravlev。一、。;Levenshteĭn，V.I。;S.W.贾布隆斯基。;O.B.卢帕诺。] Diskrete Mathematik和mathematische Fragen der Kybernetik。Autorenkollektiv unter der Leitung von S.W.Jablonski und O.B.Lupanow公司。在dtsch中。转速hrsg。von G.Burosch和H.Kiesewertter。 （德语） Zbl 0458.94001号 Mathematische Lehrbücher und Monographien，I.Abteilung:《莱赫布彻数学》，Bd.31。柏林：Akademie-Verlag。287.S.、41 Abb.、。，25表M 46.00（1980）。 MSC公司：94-01 94立方厘米 05-01 94Bxx个 03B50号 94C15号机组 65年第68季度 94-02 68-02 05-02 68-01 PDF格式BibTeX公司 XML格式
雅布隆斯基，S.V。;Yu Zhuravlev。一、。;于瓦西尔埃夫。一、。;格拉戈列夫，V.V。;Vetukhovskiĭ，F.I。;Levenshteĭn，V.I。 雅布隆斯基，S.V。（编辑）;卢帕诺夫，O.B。（编辑）;G.伯罗斯。（编辑）;H·基塞韦特。（编辑） Diskrete Mathematik和mathematische Fragen der Kybernetik。在S.W.Jablonski和O.B.Lupanow的指导下，自动驾驶。在德国斯普拉奇。von G.Burosch和H.Kieswetter。利琴佐斯。 （德语） Zbl 0443.94001号 Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften：数学Reihe，71级。巴塞尔-波士顿-斯图加特：Birkhä用户Verlag。287 S.，41 Abb。，25表SFr。60.00 (1980). 审核人：L.A.Kaluzhnin（基辅） MSC公司：94-01 94立方厘米 94Bxx个 03B50号 94C15号机组 65年第68季度 94-02 68-02 05-02 68-01 2001年5月 PDF格式BibTeX公司 XML格式
安德烈亚斯·鲍迪什;西塞，德特勒夫;汉斯·彼得·塔奇克;马丁·威斯 判定性和广义量词。 （英语） Zbl 0442.03011号 数学研究Mathematische Forschung，3级。柏林：Akademie-Verlag。十二、 235 p.M 31.00（1980）。MSC公司：03B25号 03-02 20甲15 06年05月 20K99美元 05二氧化碳 03C10号机组 99年6月 03C80号 PDF格式BibTeX公司 XML格式
雅布隆斯基，S.V。 离散数学导论。教科书。(Введение в дискретную математику. Учебное пособие.) （俄语） Zbl 0498.94001号 Vysshego i Srednego Spetsial'nogo Obrazovaniya SSSR部长。莫斯科：“Nauka”Glavnaya Redaktsiya Fiziko-Matematicheskoĭ文学。272 p.R.0.85（1979年）。MSC公司：94-01 94C11号机组 94C15号机组 94比99 03B50号 05C99年 03D60年 PDF格式BibTeX公司 XML格式
安德烈亚斯·鲍迪什 具有纯子群m链的Abelian群的基本理论。（预打印）。 （英语） Zbl 0413.03022号 Akademie der Wissenschaften der DDR，Zentralinstitut für Mathematik und Mechanik。第26条（1979年）。MSC公司：03C65号 03B25号 03C60型 03C80号 03B30型 20K99美元 06年05月 99年6月 05二氧化碳 05年10月 PDF格式BibTeX公司 XML格式
Seese，Detlef G。 具有有界集的\（\omega\）-树的可判定性。 （英语） Zbl 0386.03004号 报告R-01/78。柏林：Akademie der Wissenschaften der DDR。天顶星数学与机械。52 S.（1978）。MSC公司：03B25号 03-02 05年3月 05二氧化碳 PDF格式BibTeX公司 XML格式
特伦布雷，J.P。;R.马诺哈尔。 离散数学结构及其在计算机科学中的应用。 （英语） Zbl 0313.68001号 麦格劳-希尔计算机科学系列纽约等：McGraw-Hill图书公司。十六、 606 p.DM 50.80（1975年）。MSC公司：68-01 03-01 94-01 08-01 20-01 00A05号 03B05号 03埃克斯 65年第68季度 05二氧化碳 03年10月 20日03时 05年6月 94立方厘米 05年6月 05年3月 03日第10天 PDF格式BibTeX公司 XML格式
于瓦西尔埃夫。L。;Vetukhovskiĭ，F.Ya。;格拉戈列夫，V.V。;Yu Zhuravlev。一、。;Levenshteĭn，V.I。;亚布隆斯基。 雅布隆斯基，S.V。（编辑）;卢帕诺夫，O.B。（编辑） 离散数学和控制论的数学问题。第1卷。S.V.Yablonskiĭ和O.B.Lupanov编辑。（ДискретнаиматемтарикааммеаТиКантиаесмкиекеитороссаккнееТаст （俄语） Zbl 0318.94001号 莫斯科：Verlag‘Nauka’，Hauptredaktion für physicalisch-mathematische Literatur。312 p.R.1.43（1974年）。 审核人：Albert A.Mullin（麦迪逊） MSC公司：94-01 03-01 05-01 03B05号 03B50号 94Bxx个 94立方厘米 05年3月 05Cxx号 PDF格式BibTeX公司 XML格式
弗兰克·R·德雷克。 集合论。介绍大型红衣主教。 （英语） Zbl 0294.02034号 逻辑与数学基础研究第76卷。阿姆斯特丹-伦敦：North-Holland出版公司；纽约：美国爱思唯尔出版公司XII，351 p.Dfl。60.00; $ 23.10（1974年）。MSC公司：03E55型 03E35号 03E25型 03E50型 03B15号机组 03C75号 03埃克斯 03年10月 2005年3月 05二氧化碳 03E15年 03-02 03C68号 03C30号 03C60型 PDF格式BibTeX公司 XML格式
罗伯特·沃尔 数学语言学导论。 （英语） Zbl 0352.68085号 新泽西州Englewood Cliffs：Prentice-Hall，Inc.XIV，337 p.£9.80（1972）。MSC公司：68-01 65年第68季度 68瓦99 03B05号 03年10月 05二氧化碳 PDF格式BibTeX公司 XML格式