机读格式显示(MARC)

• 000 01294nam 2200325 450

• 001 0000822905

• 005 20211012130200.0

• 010 __ |a 978-7-5603-9227-1 |d CNY98.00

• 100 __ |a 20210430d2021 em y0chiy50 ea

• 101 0_ |a rus

• 102 __ |a CN |b 230000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 集合论、数学逻辑和算法论问题 |A ji he lun 、shu xue luo ji he suan fa lun wen ti |f (俄) 伊戈里·安德烈耶维奇·拉夫罗夫, 拉丽莎·利沃夫娜·马克西莫娃著

• 205 __ |a 俄文

• 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2021

• 215 __ |a 397页 |d 21cm

• 225 2_ |a 国外优秀数学著作原版系列 |A guo wai you xiu shu xue zhu zuo yuan ban xi lie

• 305 __ |a 原书第5版

• 330 __ |a 本书分为三章: 第一章为集合论, 包括集合论运算、关系式和函数、特殊二元关系、纯数等 ; 第二章为数学逻辑, 包括逻辑代数、逻辑代数函数、逻辑计算、谓词逻辑语言、谓词逻辑公式可实现性等 ; 第三章为算法论, 包括部分递归函数等。

• 410 _0 |1 2001 |a 国外优秀数学著作原版系列

• 606 0_ |a 集论 |A ji lun |x 俄文

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 俄文

• 606 0_ |a 算法 |A suan fa |x 俄文

• 690 __ |a O144 |v 5

• 701 _1 |a 拉夫罗夫, |A la fu luo fu |b 伊戈里·安德烈耶维奇 |4 著

• 701 _1 |a 马克西莫娃, |A ma ke xi mo wa |b 拉丽莎·利沃夫娜 |4 著

• 801 _0 |a CN |b HDUL |c 20211012

• 905 __ |a HDUL |d O144/556

• 920 __ |a 233030 |z 1