Razvitie mnogoznacnoj logiki:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
Moskva
LKI
2010
|
| Edition: | 3. izd. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | In kyrill. Schr., russ. |
| Physical Description: | 444 S. |
| ISBN: | 9785382012179 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036578171 | ||
| 003 | DE-604 | ||
| 005 | 20200417 | ||
| 007 | t| | ||
| 008 | 100722s2010 xx |||| 00||| rus d | ||
| 020 | |a 9785382012179 |9 978-5-382-01217-9 | ||
| 035 | |a (OCoLC)705681555 | ||
| 035 | |a (DE-599)BVBBV036578171 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a rus | |
| 049 | |a DE-29 | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Karpenko, Aleksandr Stepanovič |d 1946-2017 |e Verfasser |0 (DE-588)1135950954 |4 aut | |
| 245 | 1 | 0 | |a Razvitie mnogoznacnoj logiki |c A.S. Karpenko |
| 250 | |a 3. izd. | ||
| 264 | 1 | |a Moskva |b LKI |c 2010 | |
| 300 | |a 444 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a In kyrill. Schr., russ. | ||
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deduktion |0 (DE-588)4011271-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Deduktion |0 (DE-588)4011271-8 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020499129&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020499129 | |
Record in the Search Index
| _version_ | 1826604783509700608 |
|---|---|
| adam_text |
COEP)KAHHE ILPE,ZJ;SSCJIOBSSE 3 1. KJIACCHQECKAH JIORHKA 11 1.1
JIORH'IECKHE CBR3KH. SSCTHHHOCTHBIE TA6JIHQBI *.*.*.*.*.*.*.**.*.*. 11
1.2. 3AKOHBI JIORHKH BBICKA3BIBAHHH
*.*.*.*.*.*.*.**.*.*.*.*.*.*.*.*.*.*.*.*.*.*. 13 1.3.
1 YHKQHOHAJIBHAR NOJIHOTA. C,LUI 1
.*.*.*.**.*.*.**.*.*.*.*.*.*.*.*.*.*.*. 15 1.3.1. LLOJIHHOMBI
)L(ERAJIKHHA.
16 1.3.2. LLLTPHX LLLE4 4 EPA
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*. 17
1.4. JIORH'IECKOE CJIE.D;OBAHHE. AKCHOMATH3AQHR. A.N;EKBATHOCTB. 18
1.5. SSCTOPH'IECKAR CNPABKA
*.*.*.*.*.*.*.**.*.*********************.*.***.*.*.* 22 1.6. JIORHKA
NPE.D;HKATOB *.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**.*.*.*****.**.***.***
23 1.6.1. J{3B1K JIORHKH NPE.D;HKATOB
*.*.*.*.*.*.*.*.***.*.******.*******.*.*.****.*.*. 23 1.6.2.
SSHTEPNPETAQHR H AKCHOMATH3AQHR *.***********.***.*.*.*.***.*.***.*.*.
25 1.6.3. OCHOBHBLE CBOHCTBA: NOJIHOTA, TEOPEMA JIHH.D;CTPEMA,
HEPA3PEWHMOCTB
******.****.*.*.**********.**************.**.***.*.*.*.* 29 2.
HHT}'HTHBHOE NOHHMAHHE MHOR03HAQHOH JIORHKH H EE B03HHKHOBEHHE 32 2.1.
SSHTYHTHBHOE NOHHMAHHE MHOR03HA'LHOH JIORHKH ***********.*.*.*. 32 2.2.
SSCTO'LHHKH MHOR03HA'LHOCTH B JIORHKE
*.***.*.*.*.*.*.*.*.*.***.*.******** 32 2.3. )J;OKA3ATEJIBCTBO
HE3ABHCHMOCTH AKCHOM *.*.*.***********.**.*.*.*.*.*. 33 2.4.
APHCTOTEJIEBCKHH 4 ATAJIHCTH'IECKHH APRYMEHT *.****.*.*.*.*.***.**.* 36
2.5. LLPE.D;BICTOPHR NORBJIEHHR MHOR03HA'LHOH JIORHKH
***.*.*****.*.*.** 38 3. TPEX3HAQHLIE JIORHKH 40 3.1. TPEX3HA'LHAR
JIORHKA JIYKACEBH'IA L 3 *.*.********.*.*.*.****.*******. 40 3.1.1.
UETJIH'IHR TPEX3HA'LHOH JIORHKH JIYKACEBH'IA L 3 OT KJIACCH'IECKOH C Z
.*.*.*.*.******.*.*****.**.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.** 42 3.1.2.
TPEX3HA'LHAR MO.D;AJIBHAR JIORHKA JIYKACEBH'IA ***.*.*****.*.****.*. 45
3.2. TPEX3HA'LHAR JIORHKA REHTHHRA G~ 48 3.2.1. TPEX3HA'LHAR JIORHKA
EPAY3PA G 3 (.NYAJIBHAR K G~ 49 3.2.2. B3AHMOOTHOWEHHE G 3 C L 3
*.*.*.*.*.*.*.***.*****.**.*.**.*.*.*.*.*.*.*. 50 3.3. TPEX3HA'LHAR
JIORHKA EO'LBAPA B 3 *.*.*.*.*.*.*.*.*.*.**.*.**.*.*.*.*.*. 50 3.3.1.
)J;BA YPOBHR B 3: BHEWHHE JIORH'IECKHE CBR3KH .******.*.*.*.*.*.*. 51
3.3.1.1. TPEX3HA'LHBIE H30MOP4 BI C Z
*.*.*.*.**.*.**.*.****.****.*.*.*.********* 53 3.3.2. AKCHOMATH3AQHR B
3 *.*.*.*.****.*.*.*.**.*.*.*.*.*.*.**.*.*.*.*.*.***.*.*.*.*. 55
3.3.3. JIORHKA XOJI.D;EHA H 3 H JIORHKA 366HHRAY3A E 3
***.*.*.*.*.*.***** 57 3.4. TPEX3HA'LHBIE (PERYJIRPHBIE) JIORHKH KJIHHH
.*.*.*.*.*.*.*.*.*.**** 58 3.4.1. CHJIBHAR JIORHKA KJIHHH K 3
********.*.*.***.**********.*.*.*.*.*.****** 58 283AKAJ 722 433 3.4.2.
CJIA6AH JIORHKA KNHHH K; 61 3.4.3. PERYJIGPHOCTB H MOHOTOHHOCTB
.*.*. 62 3.4.4. TIPOME)I()'TOQHAH
JIORHKA KNHHH K;+ (JIORHKA LISP) 63 3.4.4.1. TIPOME)L{YROQHAG JIORHKA
KNHHH K;- (JIORHKA TWIN LISP) . 64 3.4.5. B3AHMOOTHOMEHHG MEY
PERYJIHPHBLMH JIORHKAMH KNHHH
.**.*.*.*.*.*.*
******.* 65 3.4.6. P-JIORHKH
.*.***.*.*.
67 3.5. TPEX3HAQHBLE NAPAHENPOTHBOPEQHBBLE JIORHKH .*. 68
3.5.1. JIORHKA TIPHCTA LP : 69 3.5.2. JIORHKA PCONT 70 3.5.2.1. JIORHKA
PCONT KAK RM3 71 3.5.2.2. PEMETKA NAPAJIORHK
.* 72 3.5.3.
JIORHKA J 3
.***.*.*.*.
73 3.5.4. JIORHKH PI H P 2 75 3.5.4.1. TIAPANOJIHBLE JIORHKH I I H 1 2,
.NYAJIBHBLE K PI H P 2 77 3.6. IILTPHX LLLE4 4 EPA MG HEKOTOPBLX
TPEX3HAQHBLX JIORHK .*.* 77 3.7. HEKOTOPBLE NPHMEHEHHG 79 3.8. 06MHE
BONPOCBL *.*.
81 3.9. PEMETKA HMNJIHKATHBHBLX PACMHPEHHH PERYJIHPHBLX JIORHK KNHHH
.**. 83 4. JIORH'IECKHE MATPHU;BL H PEWETKH 87
4.1. TIOHHTHE JIORHQECKOH MATPHBL 87 4.2. OCHOBHBJE CBOHCTBA JIORHQECKHX
MATPHL.{ 88 4.3. ONEPAL.{HH HA,!( MATPHL.{AMH 93 C 4.3.1. TIPGMOE
NPOH3BE.NEHHE MATPHL.{BL ~2 HA CAMY CE6G ***.*. 94 4.3.2.
,L(PYRHE ONEPAL.{HH. HHHTHAG ANNPOKCHMHPYEMOCTB 96 4.4. TIOHGTHE
PEMETKH. OCHOBHBLE CBOHCTBA .** 99 4.4.1.
EYJIEBBJ AJIRE6PBL
.**.*.*.***.*.*.*.*****.*.* 102
4.4.2. ,L(PYRHE "JIORHQECKHE" AJIRE6PBL
.*.*. 103 4.5. AJIRE6PAHQECKAG
CEMAHTHKA .*. 106 4.5.1.
AJIRE6PAH3AL.{HG L 3
.**.*.*.***.*. 110 4.5.2.
AJIRE6PAH3AL.{HG HEKOTOPBLX .NPYRHX TPEX3HAQHBLX JIORHK 112 5.
KOHE'LHOJHA'LHBLE JLORHKH 114 5.1. 5.1.1. 5.1.2. 5.1.3. 5.1.4. 5.1.5.
5.1.6. KOHEQH03HAQHBLE JIORHKH JIYKACEBHQA LN 114 MATPHQHAG JIORHKA LN
114 UETHOMEHHG MEY KOHEQH03HAQHBLMH JIORHKAMH LN 115 J,-ONEPATOPBJ
*.*.*.*****.*.***.****.***.*.*.*******.*.*.***********.********
116 ONEPATOP CNYNEL.{KORO,L(JIJL LN 116 KPHTEPHH MAK-HOTOHA BBLPA3HMOCTH
ONEPAL.{HH B LN 117 AKCHOMATH3AL.{HG LN 117 434 5.4.5. 5.4.6. 5.1.7.
5.1.8. 5.1.9. 5.2. 5.2.1. 5.2.1.1. 5.2.2. 5.2.3. 5.3. 5.4. 5.4.1. 5.4.2.
5.4.3. KAP.D.HHAJIBHLUI CTENEHB NONHOTBL LN
********.***.**.*.*.******.*** 120 LN H N-3HA'LHBLE JIORHKH R~.D.EML
G N ******************************.*.*** 121 ANRE6PAH3AUUR LN
***.*.**********.**********.*.***.**.*.*.*.*.*.****.*.***.*.*.* 123
JIORHKH IIOCTA P N
*****.***.***.***********.******.*.*.*.*.*.*.**.*.*.***.*. 127
MATPH'IHBLE JIORHM P N **.********.***.*.*******.****.*.***.**
~ . 127 TPEX3HA'LHLUI JIORHKA IIOCTA P 3
****************.********.*.*.*.*.*.*.***** 128 ANRE6PBL IIOCTA
.**.*.*.*. 129
AKCHOMATH3A~HR NORHK P N
.****.**.*.*.*.*.***.****.***.*.***.*.*.*.***.* 131 ):{PYRHE
KOHE'LH03HA'LHBLE JIORHKH **.*********.****.*.*.*****.*.**.**. 132
TIETBLPEX3HA'LHBLE JIORHKH
************.******************.*.*.*.* 133 BBO.D.HBLE
3AME'LAHHR **.**.**.*.*.*.*.**.*.
134 L-MO.D.AJIBHLUI JIORHKA JIYKACEBH'IA
*.*.*.***.************.*.*.**.**** 135 PEWETKA PACWUPEHHH
'IETBLPEX3HA'LHOH KJIACCH'IECKOH JIORHKH C. 138 5.4.3.1. MO.D.AJIBHLUI
NORHKA V2 140 5.4.4. JIORHKA EEJIHANA DM4 141 5.4.4.1. JIORHKA DM4 C
MO.D.AJIBHBLMH ONEPATOPAMH *.*.*.****.*.*.*.**** 145 5.4.4.2. JIORHKA
DM4 C 3H,L1.0MOP **.***********.**.*.***.*.*** 146 5.4.4.3.
JIORHKA DM4 C HMDNHKAUUEH **************************.*.*.*.*.*.******
148 5.4.4.4. EHPEWETKH
******************************************.***.*.*.*.*.*.*******.*.*.*.*
150 5.4.4.4.1. JIORH'IECKLUI 6HPEWETKA: HMDNHKA~HR H KJIACCH'IECKOE
OTPH~AHHE **.****.****************.**.***.*.*.*.*.***.*.*.*. 153
):{PYRHE 'IETBLPEX3HA'LHBLE JIORHKH
.**.*****.**.**.*.*.******.*.*.**** 156 JIORHKA HCTHHHOCTH» TR H
APRYMEHT APHCTOTEJIR
*******.*.*.************.*.***.**.*.*.*.*.*.*.*.*.*. 158 5.4.6.1.
JIORHKA TR 158 5.4.6.1.1. AKCHOMATH3A~HR NORHKH TR 159 5.4.6.2. JIORHKA
TR H AKCHOM8TH'IECKHE TE0P"" HCTHHBI .*.*.** 160 5.4.6.3.
KOHBEH~HR TAPCKORO H JIORH'IECKHH 161 6. AKCHOMATH3AUHH KOHEQH03HAQHLIX
JLORHK 163 6.1. IIPE.D.BICTOPHR
**.*.*******.*******.**.*.***.**.**.****.
163 6.2. ):{PYRHE METO.D.BL AKCHOMATH3A~HH
*.**.*.*.*.*.*.*.****.*.*.*.*.*.**.*.***. 164 6.3. METO.D.
AHWAKOBA-PBI'IKOBA ****************************.***.*.*.*.******** 164
6.3.1. IIPE,LL.BAPHTEJIBHBLE 3AME'LAHHR
**.**.***.*.**.****.*.*.*****.***.* 166 6.3.2. AKCHOMATH3A~
************.***************.*.***.**************.*.*.*.*.****.* 168
6.3.2.1. CHHTAKCHC
*******************.******************.***.*.*.**.*.
168 6.3.2.2. CEMAHTHKA
*******.**********.**.**.*********.****.*.**.*.*.**********.*.*.*.*.*.*.*
172 6.3.3. 0606EHHE H .D.PYRHE BONPOCBI
.**.*******.*.****.*.** 173 6.4. HEKOROPBLE
P83MBIWJIEHHR ****.*.******************.****.*.****.********** 175
435 7.1. 7.1.1. 7.5.4. 7.6. 7.6.1. 7.6.2. 7.6.3. 7.5. 7.5.1. 7.5.2.
7.5.3. 7.5.3.1. 8.1. 8.1.1. 8.1.2. 8.2. 7. MHOROLHA"HAN JLORHKA KAK
C1JYHKI(HOHAJLBHAN CHCTEMA 178 OPMYNBHAH MOENB N-3HALFHOH NORHKH 178
TIOHRTLIE YHK~1I1I N-3HALFHOH NORLIKII. 3NEMEHTAPHBIE YHK~1I1I
.*.
178 7.1.2. 0PMYNBI KAK CYNEPNO31IIIH :MEMEHTAPHBIX YHKIIH . 180 7.2.
ANRE6PA YHIIH
.*. 182
7.2.1. ONEPATOP 3AMBIKAHHR, 3AMKHYTBIE KNACCBI H 6A3IICBI 182 7.2.1.
KNACCBI TIOCTA 185 7.3. TIPO6NEMA YHK~LIOHANBHOH NONHOTBI 185 7.3.1.
TIPHMEPBI YHK~LIOHANBHO NONHBIX CHCTEM 186 7.3.2. TIPLI3HAKII
YH~LIOHANBHOH NONHOTBI HHENONHOTBI 189 7.3.3. KPLITEPLIH YHK~LIOHANBHOH
NONHOTBI. TIPEMONHOTA 190 7.3.3.1. TIPE~NONHBIE KNACCBI B P 2 II P 3
***************************************** 191 7.3.3.2. TIPE~NONHBIE
KNACCBI B P N ******.******.****.*.*.***.*.***.************.*.* 193
7.3.3.2.1. MAKCIIMANBHBIH» NPE~NONHBLH KNACC II ERO 6A3LIC 195 7.3.4.
YHK~1I1I LLLE EPA 197 7.3.4.1. YHK~1IH LLLE EPA~ LN 199 7.4.
TIPHH~LINLIANBHBIE OTNLILFLIH MHOR03HALFHOH NORLIKH OT ~BY3HALFHOH.
KOHTLIHYANBHOCTB .*. 200 TPEX3HALFHBIE
NORHKH: YHKIIOHANBHBIECBOHCTBA 201 KNACCBI YHKIIH II 6A3HCBI MH P 3
*********.*.******************.***** 202 CY6MAKCLIMANBHBIE KNOHBI 202
YHK~LIOHANBHBIE CBOHCTBA B 3 ****.*******************.********.********
205 FLINOTE3A 0 KPIITEPLI1I KOHTIIHYANBHOCTII TPEX3HALFHBIX NORHK 207
S-KNACCH IIKAIIR 207 JIORLIKII JIYKACEBLILFA LN II NPOCTBIE LFLICNA 207
YHK~HOHANBHBIE CBOHCTBA LN (TEOPEMA B.K. HHHA) 208 MATPLILFHAR NORHKA ~
NPOCTBIX LFLICEN 210 ANROPIITM NOPO)F(EHIIR KNACCOB NPOCTBIX LFLICEN
213 8. 6ECKOHE"HOLHA"HBLE JLORHKH 216 EECKOHELFH03HALFHAR NORHKA
JIYKACEBHLFA L OO *********************** 216 ANRE6PALI3A~HR LOO 221
113MEHEHLIE MHO)F(ECTBAIICTIIHHOCTHBIX3HALFEHLIH 226
L1HRYLIIIOHIICTCKAR NORLIKA LOT II KNACC CYNEPIIHRYIIIIOHIICTCKIIX
NORHK 227 8.2.1. TIORBNEHLIE LOT 227 8.2.2. OCHOBHBIE CBOHCTBA LOT 228
8.2.2.1. LINOCOCKAR IIHTEPNPETAIIR LOT (CEMAHTIIKA B03MO)F(HBIXMHPOB)
230 436 8.6.1. 8.6.2. 8.6.3. 8.2.3. CYNEPHHTYHUHOHHCTCKHE JIORHKH 232
8.2.3.1. JIORHKA FE.LL:EJIJI-~AMMHTA G", 233 8.3. CHHTE3 JIORHK L", H
G", 234 8.3.1. CHMMETPH'IECKHH MOHOH.LI:FEHTHHRA SHM H AJIRE6PA
BAHC6EPRA-FEHTHHRA WH 235 8.3.1.1. AJIRE6PBI, 3KBHBAJIEHTHBIE C WH 237
8.3.2. JIORHKA 6E3 HENO.LL:BH)I(HBIX TO'LEK LG: 239 8.4. MO.LL:AJIBHBIE
JIORHKH 241 8.4.1. K.M. JIBLOHC H K. FE.LL:EJIB
.*.*. 241 8.4.2.
HEKOTOPBIE MO.LL:AJIBHBIE JIORHKH 242 8.4.2.1. TA6JIH'IHOCTB H
NPE.LL:TA6JIH'IHOCTB 244 8.4.3. LLLKAJIBI KPHNKE H NPHHUHN COOTBETCTBHJI
245 8.4.4. BA)L(HOE 0TCTYNJIEHHE
.*. 246 8.5.
PEJIEBAHTHBIE JIORHKH 248 8.5.1. KPHTEPHH PEJIEBAHTHOCTH H JIORHKA R 248
8.5.2. HEKOTOPBIE HEO6BI'IHBIE CBOHCTBA
.*.* 251 8.5.3. JIORHKA RM 252
8.5.3.1. JIORHKH RM .*. _ H RM. . 254 8.6. IIAPAHENPOTHBOPE'LHBM
JIORHKA CO H HEPAPXHJI EE PACWHPEHHH 255 JIORHKA CO H EE CBOHCTBA 256
MEPAPXHJI NAPAHENPOTHBOPE'LHBBIX CHCTEM CO 257 HEHCTHHHOCTHO- CEMAHTHKA
.LI:JIJI NAPAHENPOTHBOPE'LHBBIX JIORHK 258 8.6.3.1. HEAJIRE6PAH3YEMOCTB
CL 259 8.7. ~PYRHE 6ECKOHE'LH03HA'LHBIE JIORHKH
.*. 260 8.7.1. 0606IUEHHE JIORHKH IIOCTA
PO 261 8.7.2. IIPE.LL:EJIBHBIE H HENPEPBIBHBIE JIORHKH
.*.*.*. 261 8.7.2.1. HEAPXHME.N:OBA
JIORH'IECKM MHOR03HA'LHOCTB .*. 262 8.7.3. JIORHKH CO
CBOHCTBAMH .LI:PYRHX JIORHK 263 8.7.3.1. MHOR03HA'LHBIE MO.LL:AJIBHBIE
JIORHKH 264 8.7.4. YAJIBHOCTB HHTYHUHOHHCTCKHX H NAPAHENPOTHBOPE'LHBBIX
JIORHK 266 9. TEOPHH HE'LETKHX MHOACECTB H HE'LETKHE JLORHKH 268 9.1.
IIPEAM6YJIA
.*.*.*.
268 9.2. HE'LETKHE MHO)L(ECTBA H COOTBETCTBYIOIUAJL JIORHKA 270 9.3.
BTOPM CTAMJI *. 274 9.3.1.
HE'LETKHE NO.LL:MHO)L(ECTBA THNA 2 276 9.3.1.1. ORPAHH'IEHHR H
YNPOIUEHHJI 277 9.3.1.2. MEPAPXHR MHHHMAJIBHBIX MO.LL:EJIEH .LI:JIJI
HE'LETKHX AJIRE6P THNA 2 280 9.3.2. HA NYM K HE'LETKOH JIORHKE 282 437
9.4. JIORHKH, OCHOBAHHHIE HA T-HOPMAX
********.******************.********* 285 9.4.1. T-HOPMBL
********.*.****************.******.*****.********.**************.*.*.*******.
285 9.4.2. CEMAHTH'IECKHH NO.WTO~
**************************************************. 287 9.4.3.
EA3HCHLUL HE'LETKLUL JIORHKA BL H EE PACWHPEHIDI .*.****.**** 289
9.4.3.1. EA3HCHLUL HE'LETKLUL JIORHKA NPE~HKATOB BL'V' 290 9.4.4.
MOHOMHAJL JIORHKA, OCHOBAHHLUL HA T-HOPME .******.*.*.*. 291
9.4.5. PACWHPEHHJI T-JIORHK HOBBLMH CBJL3KAMH H .NPYRHE BONPOCHI
.*.*.*.*.*.*.*.*. 293
10. HCTHHHOCTHBLE 3HA **EHHH: HHTEPNPETANHH MHOR03HA"HBIX JLORHK 294
10.1. 1 HKCAUHJINP06JIEMHI
***.******.*.*.*********.*.***.*.*.**.*.*.*.* 294 10.2.
JIORH'IECKHH MHP R. 1 PERE: ~BA HCTHHHOCTHBLX 3HA'LEHHJI
*.*.*.*.*.*.*.***.*.**.*.*.***.*.***.*.******.*.*.*.*.**.*.*.***
296 10.3. ,[(PYRHE JIOM'LCCKHE MHPHI
*************.************************.***.*.*.**** 297 10.4. TE3HC
CYWKO
*********.********.*****.*****.**********.*.******.***.****************
300 10.5. SSHTYHTHBHLUL HHTEPNPETAJ.{IDI LN. LLPO6JICMHI
*******************. 305 10.6. T-F-NOCJIE~OBATEJIBHOCTH B KA'LECTBE
HCTHHHOCTHHIX 3HA'LEHHH
***.******.**.**********.********.*.***.*.*.****.*.*.****.*.*.***.*.*.**.*.*
309 10.7. 1 AKTOP-CEMAHTHKA: NO~MHO)KECTBA VERSUS 3JIEMEHTBL 311
10.7.1. 1 AKTOP-CEMAHTHKA ~JI 6ECKOHE'LH03HA'LHOH JIORHKH LL; 315 10.8.
CTPYKTYPAJIH3AUHJI HCTHHHOCTHBIX 3HA'LEHHH **.*.**.*.*.*.*.*.*. 318
"PHJLO*EHHE: 6YJLEBBI PEWETKH HMNJLHKATHBHBLX JLORHK 324 1. LLPO6JIEMA
KJIACCH$HKAUHH HMNJIHKATHBHHIX JIOMK. KOM6HHATOPHI
*.*.*.***.***.****.************.************.******.******.*.*.***.*
324 2. PEWETKA HMNJIHKATHBHHIX JIORHK L(H-+) 326 3. PEWETKA
HMLLJIHKATHBHHIX JIORHK L(TV-+): KJIACCH'IECKHE BEPCHH BCI, BCK H R.
*.**.***********************************.*.******.*.**.*.*.*.*.** 330 4.
MAKCHMAJIBHLUL PEWETKAL(TV-+): JIORHKH RM-+ H LAO-+ *.*.***.*. 335 5.
PEWETKA HMNJIHKATHBHHIX JIORHK L(TV-+): JIOMKH E-., S4-. H SS-. 340 6.
HEKOTOPBLE NOJIHBLE NPON03HUHOHAJIBHBLE JIORHKH .*.
341 7. HECKOJIBKO 3AME'LAHHH 0 KJIACCH$HKAUHH JIOMK
*.*.*.*.*. 343 I1CLLOJIH30BAHHA.SI JII1TEPATYPA 346
MMEHHOH YKA3ATEJIH 416 LLPE,[LMETHHRN YKA3ATEJIH 426 CONTENTS 439 438
CONTENTS PREF ACE 3 1. CLASSICALLOGIC 11 1.1 LOGICAL CONNECTIVES.
TRUTH-TABLES 11 1.2. THE LAWS OFPROPOSITIONALLOGIC 13 1.3. FUNCTIONAL
COMPLETENESS. FULL DISJUNCTIVE NORMAL FORM 15 1.3.1. ZHEGALKIN
POLYNOMIALS.
16 1.3.2. SHEFFER STROKE 17 1.4. LOGICAL ENTAILMENT. AXIOMATIZATION.
ADEQUACY 18 1.5. HISTORICAL NOTE 22 1.6. FIRST-ORDER PREDICATE LOGIC 23
1.6.1. THE LANGUAGE OFPREDICATE LOGIC 23 1.6.2. INTERPRETATION AND
AXIOMATIZATION 25 1.6.3. THE BASIC PROPERTIES: COMPLETENESS, LINDSTROEM'S
THEOREM, UNSOLVABILITY 29 2. INTUITIVE UNDERSTANDING OF MANY-VALUED
LOGIC AND ITS APPEARANCE 32 2.1. INTUITIVE UNDERSTANDING OFMANY-VALUED
LOGIC 32 2.2. SOURCES OFMANY-VALUEDNESS IN LOGIC 32 2.3. THE
PROOFOFINDEPENDENCE OFAXIOMS 33 2.4. ARISTOT1E'S FATALISTIC ARGUMENT 36
2.5. PREHISTORY OFAPPEARANCE OFMANY-VALUED LOGIC 38 3. THREE-VALUED
LOGICS 40 3.1. LUKASIEWICZ'S THREE-VALUED LOGIC L 3 40 3.1.1.
DISTINCTIONS OFL 3 FROM CLASSICAL TWO-VALUED LOGIC CZ 42 3.1.2.
LUKASIEWICZ'S THREE-VALUED MODALLOGIC 45 3.2. HEYTING'S THREE-VALUED
LOGIC G 3 .*.**.*.*.**.*.*.*.*.*****.*.***.**.*.*. 48 3.2.1.
BROUWER'S THREE-VALUED LOGIC G 3 (DUAL TO GJ) 49 3.2.2. INTERRELATION
BETWEEN G 3 AND L 3 .*. 50 3.3.
BOCHVAR'S THREE-VALUED LOGIC B 3 50 3.3.1. TWO LEVELS OFB 3:
EXTEMALLOGICAL CONNECTIVES 51 3.3.1.1. THREE-VALUED ISOMORPHS OFCZ 53
3.3.2. AXIOMATIZATION OFB 3 55 3.3.3. HALLDEN'S LOGIC H 3 H EBBINGHAUS'S
LOGIC E 3 57 439 3.4. KLEENE'S THREE-VALUED (REGULAR) LOGICS 58 3.4.1.
KLEENE'S STRONG LOGIC K 3
*****************.*.*.*.****.***.*******.**.*.*. 58 3.4.2. KLEENE'S
WEAK LOGIC K~ 61 3.4.3. REGULARITY AND MONOTONICITY 62 3.4.4.
INTERMEDIATE KLEENE'S LOGIC K;-+ (IOGIC LISP) 63 3.4.4.1. INTERMEDIATE
KLEENE'S LOGIC K;- (IOGIC TWIN LISP) 64 3.4.5. INTERRELATIONS BETWEEN
KLEENE'S REGULAR LOGICS 65 3.4.6. P-IOGICS.
67 3.5. THREE-VALUED PARACONSISTENT LOGICS 68 3.5.1. PRIEST'S LOGIC LP
69 3.5.2. LOGIC PCONT 70 3.5.2.1. LOGIC PCONT AS RM3 71 3.5.2.2. LATTICE
OF PARALOGICS 72 3.5.3. LOGIC J 3 **** .*.* **.*.*.* ***** *****
******. ******* **.* *****.* **.*.*.*.*. 73 3.5.4. LOGIC PI
AND P2 75 3.5.4.1. PARACOMPLETE LOGICS I 1 AND 1 2 DUAL TO PI AND P2
*.*.***.***.***** 77 3.6. SHEFFER'S STROKE FOR SOME THREE-VALUED LOGICS
77 3.7. SOME APPLICATIONS . 79 3.8. GENERAL QUESTIONS 81 3.9. THE
LATTICE OFIMPLICATIVE EXTENSIONS OF KLEENE'S REGULAR LOGIC 83 4. LOGICAL
MATRICES AND LATTICES 87 4.1. THE NOTION OF LOGICAL MATRIX 87 4.2. BASIC
PROPERTIES OF LOGICAL MATRICES 88 4.3. OPERATIONS OVER THE MATRICES 93
4.3.1. DIRECT PRODUCT OFMATRIX FOR IDL~ WITH ITSELF 94 4.3.2. OTHER
OPERATIONS. FINITE APPROXIMATION 96 4.4. THE NOTION OFLATTICE. BASIC
PROPERTIES 99 4.4.1. BOOLEAN ALGEBRAS 102 4.4.2. OTHER "IOGICAL"
ALGEBRAS 103 4.5. ALGEBRAIC SEMANTICS 106 4.5.1. ALGEBRAIZATION OFL 3
*.**.**.*.**.*.*.**.*.**.*.*.*.*.**.*.*.**.*.*.*.*.***.*** 110 4.5.2.
ALGEBRAIZATION OFSOME OTHER THREE-VALUED LOGICS 112 5. FINITE-VALUED
LOGICS 114 5.1. LUKASIEWICZ'S FINITE-VALUED LOGICS LN 114 5.1.1. MATRIX
LOGICS LN 114 5.1.2. INTERRELATIONS BETWEEN FINITE-VALUED LOGICS LN 115
5.1.3. J,-OPERATORS 116 5.1.4. SLUPECKI'S OPERATORS FOR LN 116 5.1.5.
MCNAUGHTON'S CRITERION OF FUNCTION DEFINABILITY IN LN 117 440 5.1.6.
5.1.7. 5.1.8. 5.1.9. 5.2. 5.2.1. 5.2.1.1. 5.2.2. 5.2.3. 5.3. 5.4. 5.4.1.
5.4.2. 5.4.3. AXIOMATIZATION OFLN : 117 CARDINAL DEGREE OFCOMPLETENESS
OFLN 120 LN AND GOEDEL'S N-VALUED LOGICS GN 121 AIGEBRAIZATION OFLN 123
POST'S LOGICS PN 127 MATRIX LOGIC PN 127 POST'S THREE-VALUED LOGIC P 3
.*.*.*.**.*.*.******. 128 POST'S ALGEBRAS ,
129 AXIOMATIZATION OF LOGICSP N 131 THE OTHER FINITE-VALUED LOGICS 132
FOUR-VALUED LOGICS 133 INTRODUCTIONAL REMARKS 134 L-MODALLOGIC OF
LUKASIEWICZ 135 THE LATTICE OF EXTENSIONS OF FOUR-VALUED CLASSICAL LOGIC
C 4
***.**.*.***.*.*.*.
138 5.4.3.1. MODALLOGIC V2 140 5.4.4. BELNAP'S LOGIC DM4 141 5.4.4.1.
LOGIC DM4 WITH MODAL OPERATORS 145 5.4.4.2. LOGIC DM4 WITH ENDOMORPHISMS
146 5.4.4.3. LOGIC DM4 WITH IMPLICATION 148 5.4.4.4. BILATTICES 150
5.4.4.4.1. LOGICAL BILATTICE: IMPLICATION AND CLASSICAL NEGATION 153
5.4.5. OTHERS FOUR-VALUED LOGICS 156 5.4.6. "TRUTH LOGIC" TR AND
ARISTOT1E'S FATALISTIC ARGUMENT 158 5.4.6.1. LOGIC TR 158 5.4.6.1.1.
AXIOMATIZATION OFLOGIC TR 159 5.4.6.2. LOGIC TR AND AXIOMATIC THEORIES
OFTRUTH 160 5.4.6.3. TARSKI'S CONVENTION AND LOGICAL FATALISM 161 6.
AXIOMATIZATION OF FINITE-VALUED LOGICS 163 6.1. PREHISTORY 163 6.2.
OTHERS METHODS 164 6.3. ANSHAKOV-RYCHKOV'S ALGORITHM 164 6.3.1.
PRELIMINARY REMARKS 166 6.3.2. AXIOMATIZATION 168 6.3.2.1. SYNTAX 168
6.3.2.2. SEMANTICS 172 6.3.3. GENERALIZATION AND OTHERS QUESTIONS 173
6.4. SOME REFLECTIONS 175 441 7.5.4. 7.6. 7.6.1. 7.6.2. 7.6.3. 7.5.
7.5.1. 7.5.2. 7.5.3. 7.5.3.1. 7.1.2. 7.2. 7.2.1. 7.2.1.1. 7.3. 7.3.1.
7.3.2. 7. MANY-VALUED LOGIC AS A FUNCTIONAL SYSTEM 178 7.1. FORMULAS
MODEL OF N-VALUED IOGIC 178 7.1.1. A NOTION OF A FUNCTION OF N-VALUED
LOGIC. INITIAL FUNCTIONS 178 FORMULAE AS SUPERPOSITION OFINITIAL
FUNCTIONS 180 FUNCTION ALGEBRAS 182 CLOSE OPERATION, CLOSED CLASSES AND
BASES 182 POST'S CLASSES 185 THE PROBLEM OFFUNCTIONAL COMPLETENESS 185
EXAMPLES OFFUNCTIONAL COMPLETE SYSTEMS 186 INDICATIONS OF FUNCTIONAL
COMPLETENESS AND NON-COMPLETENESS 189 7.3.3. CRITERIA OF FUNCTIONAL
COMPLETENESS. PRECOMPLETENESS 190 7.3.3.1. PRECOMPLETE CLASSES IN P 2
AND P 3 ************************************** 191 7.3.3.2. PRECOMPLETE
CLASSES IN P N ************************************************** 193
7.3.3.2.1. "MAXIMAL" PRECOMPLETE CLASSES AND THEIR BASES 195 7.3.4.
SHEFFER FUNCTIONS 197 7.3.4.1. SHEFFER FUNCTION FOR LN 199 7.4. THE
FUNDAMENTAL DIFFERENCES OFMANY-VALUED LOGIC FROM TWO-VALUED ONE.
CONTINUITY 200 THREE-VALUED LOGICS: FUNCTIONAL PROPERTIES 201 CLASSES
OFFUNCTIONS AND BASES FOR P 3 *************.***************** 202
SUBMAXIMAL CLONES 202 FUNCTIONAL PROPERTIES OF B J
************************************************** 205 HYPOTHESIS ON
CRITERIA OF CONTINUITY OF THREE-VALUED LOGICS 207 S-CLASSIFICATION 207
LUKASIEWICZ'S LOGICS LN AND PRIME NUMBERS 207 FUNCTIONAL PROPERTIES OF
LN (V.K. FINN'S THEOREM) 208 MATRIX LOGIC FOR PRIME NUMBERS 210
ALGORITHM FOR GENERATION OF CLASSES OF PRIME NUMBERS 213 8.
INFINITE-VALUED LOGICS 216 8.1. LUKASIEWICZ'S INFINITE-VALUED LOGIC L""
216 8.1.1. ALGEBRAIZATION OF L"" 221 8.1.2. CHANGING OFTHE SET
OFTRUTH-VALUES 226 8.2. INTUITIONISTIC LOGIC INT AND THE CLASS OF
SUPERINTUITIONISTIC LOGICS 227 8.2.1. APPEARANCE OFINT 227 8.2.2. BASIC
PROPERTIES OFINT 228 8.2.2.1. PHILOSOPHICAL INTERPRETATION OF INT
(POSSIBLE WORLD SEMANTICS) 230 442 8.2.3. SUPERINTUITIONISTIC LOGICS 232
8.2.3.1. GOEDEL-DUMMETT'S LOGIC G", 233 8.3. SYNTHESIS OFLOGICS L", AND
G", 234 8.3.1. SYMMETRICAL HEYTING'S MONOID SHM AND WAJSBERG-HEYTING
ALGEBRA WH 235 8.3.1.1. ALGEBRAS EQUIVALENT WITH WH 237 8.3.2. LOGIC
WITHOUT FIXED POINTS LG: 239 8.4. MODALLOGICS 241 8.4.1. C.!. LEWIS AND
K. GOEDEL 241 8.4.2. SOME MODALLOGICS 242 8.4.2.1. TABULARITY AND
PRETABULARITY 244 8.4.3. KRIPKE FRAMES AND CORRESPONDENCE THEORY 245
8.4.4. IMPORTANT DIGRESSION 246 8.5. RELEVANCE LOGICS 248 8.5.1.
VARIABLE SHARING PRINCIPLE AND LOGIC R 248 8.5.2. SOME UNUSUAL
PROPERTIES 251 8.5.3. LOGIC RM 252 8.5.3.1. LOGICS RM--._ AND RM. .
254 8.6. PARACONSISTENT LOGIC CO AND HIERARCHY OF ITS EXTENSIONS 255
8.6.1. LOGIC CO AND ITS PROPERTIES 256 8.6.2. HIERARCHY
OFPARACONSISTENT SYSTEMS C N ******************************. 257 8.6.3.
NON-TRUTH-FUNCTIONAL SEMANTICS FOR PARACONSISTENT LOGICS 258 8.6.3.1.
NON-ALGEBRAIZATION OF CL 259 8.7. OTHERS INFINITE-VALUED LOGICS 260
8.7.1. GENERALIZATION OFPOST'S LOGIC
P*. 261 8.7.2. LIMITED AND
CONTINUOUS LOGICS 261 8.7.2.1. NON-ARHIMEDIAN LOGICAL MANY-VALUEDNESS
262 8.7.3. LOGIC WITH PROPERTIES OF OTHER LOGICS 263 8.7.3.1.
MANY-VALUED MODALLOGICS 264 8.7.4. DUALITY OFINTUITIONISTIC AND
PARACONSISTENT LOGICS 266 9. FUZZY SET THEORY AND FUZZY LOGICS 268 9.1.
PREAMBLE 268 9.2. FUZZY SETS AND CORRESPONDING LOGIC 270 9.3. THE SECOND
STAGE OFFUZZIFICATION 274 9.3.1. FUZZY SUBSETS OFTYPE 2 276 9. 3.1.1.
RESTRIETIONS AND SIMPLIFICATIONS 277 9.3.1.2. HIERARCHY OFMINIMAL MODELS
FOR FUZZY ALGEBRAS OFTYPE 2 280 9.3.2. ON THE WAY TO FUZZY LOGIC 282
9.4. LOGICS BASED ON T-NORMS 285 443 9.4.1. T -NORMS 285 9.4.2. SEMANTIC
APPROACH 287 9.4.3. THE BASIC FUZZY LOGIC BL AND ITS EXTENSIONS 289
9.4.3.1. THE BASIC FUZZY PREDICATE LOGIC BL'V' 290 9.4.4. MONOIDA11OGIC
BASED ON T-NORM 291 9.4.5. EXTENSIONS OFT-1OGICS BY NEW CONNECTIVES AND
OTHERS QUESTIONS 293 10. TRUTH-VALUES: INTERPRETATION OF MANY-VALUED
LOGICS 294 10.1. FIXATION OF THE PROBLEM 294 10.2. FREGE'S LOGICA1
WORLD: TWO TRUTH-VALUES 296 10.3. OTHERS LOGICAL WORLDS 297 10.4.
SUSZKO'S THESIS 300 10.5. INTUITIVE INTERPRETATION OFL N* THE PROBLEMS
305 10.6. T-F-SEQUENCES AS TRUTH-VALUES 309 10.7. FACTOR-SEMANTICS:
SUBSETS VERSUS ELEMENTS 311 10.7.1. FACTOR-SEMANTICS FOR INFINITE-VALUED
LOGIC LI: 315 10.8. STRUCTURALIZATION OF TRUTH-VALUES 318 APPENDIX:
BOOLEAN LATTICES OF IMPLICATIONALLOGICS 324 1. THE PROBLEM OF
CLASSIFICATION OF IMPLICATIONALLOGICS. COMBINATORS 324 2. THE LATTICE
OFIMPLICATIONALLOGICS L(H.* ) 326 3. THE LATTICE OF
IMPLICATIONALLOGICS L(TV .* ): CLASSICAL VERSIONS OF BCI, BCK AND
R. 330 4. MAXIMALLATTICE L(TV .* ): LOGICS RM .*AND LA - 335 5.
THE LATTICE OF IMPLICATIONALLOGICS L(TV .* ): LOGICS E-+, 84-+ AND
85-+ 340 6. SOME FUH PROPOSITIONALLOGICS 341 7. SOME REMARKS ON
CLASSIFICATION OFLOGICS 343 REFFERENCES 346 AUTHOR INDEX 416 SUBJECT
INDEX 426 444 |
| any_adam_object | 1 |
| author | Karpenko, Aleksandr Stepanovič 1946-2017 |
| author_GND | (DE-588)1135950954 |
| author_facet | Karpenko, Aleksandr Stepanovič 1946-2017 |
| author_role | aut |
| author_sort | Karpenko, Aleksandr Stepanovič 1946-2017 |
| author_variant | a s k as ask |
| building | Verbundindex |
| bvnumber | BV036578171 |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)705681555 (DE-599)BVBBV036578171 |
| discipline | Philosophie |
| edition | 3. izd. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV036578171</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200417</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100722s2010 xx |||| 00||| rus d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9785382012179</subfield><subfield code="9">978-5-382-01217-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705681555</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036578171</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">rus</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Karpenko, Aleksandr Stepanovič</subfield><subfield code="d">1946-2017</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1135950954</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Razvitie mnogoznacnoj logiki</subfield><subfield code="c">A.S. Karpenko</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3. izd.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Moskva</subfield><subfield code="b">LKI</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">444 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In kyrill. Schr., russ.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020499129&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020499129</subfield></datafield></record></collection> |
| id | DE-604.BV036578171 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-14T21:01:08Z |
| institution | BVB |
| isbn | 9785382012179 |
| language | Russian |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020499129 |
| oclc_num | 705681555 |
| open_access_boolean | |
| owner | DE-29 |
| owner_facet | DE-29 |
| physical | 444 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | LKI |
| record_format | marc |
| spelling | Karpenko, Aleksandr Stepanovič 1946-2017 Verfasser (DE-588)1135950954 aut Razvitie mnogoznacnoj logiki A.S. Karpenko 3. izd. Moskva LKI 2010 444 S. txt rdacontent n rdamedia nc rdacarrier In kyrill. Schr., russ. Logik (DE-588)4036202-4 gnd rswk-swf Deduktion (DE-588)4011271-8 gnd rswk-swf Deduktion (DE-588)4011271-8 s Logik (DE-588)4036202-4 s DE-604 Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020499129&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Karpenko, Aleksandr Stepanovič 1946-2017 Razvitie mnogoznacnoj logiki Logik (DE-588)4036202-4 gnd Deduktion (DE-588)4011271-8 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4011271-8 |
| title | Razvitie mnogoznacnoj logiki |
| title_auth | Razvitie mnogoznacnoj logiki |
| title_exact_search | Razvitie mnogoznacnoj logiki |
| title_full | Razvitie mnogoznacnoj logiki A.S. Karpenko |
| title_fullStr | Razvitie mnogoznacnoj logiki A.S. Karpenko |
| title_full_unstemmed | Razvitie mnogoznacnoj logiki A.S. Karpenko |
| title_short | Razvitie mnogoznacnoj logiki |
| title_sort | razvitie mnogoznacnoj logiki |
| topic | Logik (DE-588)4036202-4 gnd Deduktion (DE-588)4011271-8 gnd |
| topic_facet | Logik Deduktion |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020499129&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT karpenkoaleksandrstepanovic razvitiemnogoznacnojlogiki |