张再跃，张晓如主编2013 年出版136 页ISBN：9787302331025
本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...
李娜著2012 年出版326 页ISBN：9787310040308
本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...
（法）马 克（Marek，W.），（法）奥尼茨凯维奇（Onyszkiewicz，J.）著；张金马，李 进译1990 年出版342 页ISBN：730000671X
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326157
本书通过色彩鲜艳的图画以及活泼可爱的小动物等，吸引儿童们的注意力，培养他们的动脑能力，让他们准确、熟练地掌握100以内的加减运算。
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326270
本书让孩子通过数数、排序、比较等游戏熟悉数字1～20。初步培养孩子的数、量理念，培养比较能力，初步为建立孩子生活与数字的关系，并有意识培养一定的分辨能力。...
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326140
本书通过数数、加减运算、连线等方式让孩子们熟练掌握数字100以内的运用。图文并茂地让孩子们通过可爱的图片，学会动脑，从而灵活、准确地学会100以内的数字运算。...
（英）John N. Crossley等著2018 年出版160 页ISBN：9787518420957
本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日...
（韩）池义弘著；陈艳译2012 年出版64 页ISBN：9787511326263
让孩子通过数数、排序、比较等方式熟练掌握数字21～40。并在课本中学习联系生活事物去理解数字、数量的关系，扩大孩子的生活认识面，激发孩子的学习欲望，初步培养孩子的比较能力。...
胡世华，陆钟万著2015 年出版233 页ISBN：9787030444035
包含《现代数学基础丛书》共50本，一个书号，定价7000元，面向馆配市场，装箱销售。本套丛书是《现代数学基础丛书的》典藏版，包含了在不同时间段出版的数学基础专著，使读者能够方便的阅读和查阅。本书涉及书目均为数...
