Математическая логика
В книге изложены основные классические исчисления математической логики.
সংরক্ষণ করুন:
প্রধান লেখক: | , |
---|---|
বিন্যাস: | গ্রন্থ |
প্রকাশিত: |
НБ СевКавГТУ
|
ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
LEADER | 01348nam a2200301 i 4500 | ||
---|---|---|---|
001 | F.NCFU.000029.02BB33 | ||
005 | 20090312121616.0 | ||
010 | |9 1500 экз. |a 5-8114-0533-2 | ||
100 | |a 20061019d2005 m y0rusy50 02 ca | ||
101 | 0 | |a rus | |
102 | |a RU | ||
105 | |a y j 000 y | ||
200 | 1 | |a Математическая логика |e учеб. пособие |f Ю. Л. Ершов, Е. А. Палютин | |
205 | |a 5-е изд., стереотип. | ||
210 | |a СПб. |c Лань |d 2005 | ||
215 | |a 336 с. | ||
225 | 1 | |a Учебники для вузов |i Специальная литература | |
320 | |a Предм. указ.: с. 335-336 | ||
330 | |a В книге изложены основные классические исчисления математической логики. | ||
606 | |a математическая логика |j учебные издания для высшей школы | ||
608 | |a учебные пособия | ||
675 | |a 510.6 | ||
700 | 1 | |a Ершов |b Ю. Л. |g Юрий Леонидович | |
701 | 1 | |a Палютин |b Е. А. |g Евгений Андреевич | |
801 | 1 | |a RU |b НБ СевКавГТУ |c 20061019 | |
801 | 0 | |a RU |b НБ СевКавГТУ |c 20061019 |g rcr | |
856 | 7 | |u libdata.ncstu.ru/cgi-bin/ftreview.pl?t02BB33 |z Оглавление | |
899 | |h 51 |i Е 80 |