Teorema dedukcii dlja vsech sistem

Теорема дедукции для всех систем

Saved in:

Bibliographic Details
Main Author:	Sidorenko, E. A. (Author)
Format:	Print Article
Language:	Russian
Check availability:	HBZ Gateway
Fernleihe:	Fernleihe für die Fachinformationsdienste
Published:	IFRAN 1999
In:	Smirnovskie čtenija Year: 1999, Pages: 66-69

MARC


LEADER	00000naa a22000002 4500
001	1816074349
003	DE-627
005	20220908115950.0
007	tu
008	220908s1999 xx \|\|\|\|\| 00\| \|\|rus c
020			\|a 5201020054
035			\|a (DE-627)1816074349
035			\|a (DE-599)KXP1816074349
040			\|a DE-627 \|b ger \|c DE-627 \|e rda
041			\|a rus
084			\|a 0 \|2 ssgn
100	1		\|6 880-01 \|a Sidorenko, E. A. \|e VerfasserIn \|4 aut
245	1	0	\|6 880-01 \|a Teorema dedukcii dlja vsech sistem
264		1	\|c 1999
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
601			\|a Teorema
773	0	8	\|i Enthalten in \|t Smirnovskie čtenija \|d Moskva : IFRAN, 1999 \|g (1999), Seite 66-69 \|h 231 S. \|w (DE-627)1618789996 \|w (DE-576)093745044 \|z 5201020054 \|7 nnnm
773	1	8	\|g year:1999 \|g pages:66-69
880	1		\|6 100-01/Cyrl \|a Сидоренко, E. А. \|e VerfasserIn \|4 aut
880	1	0	\|6 245-01/Cyrl \|a Теорема дедукции для всех систем
935			\|a mteo
935			\|i oschrift
951			\|a AR
ELC			\|b 1
ITA			\|a 1 \|t 1
LOK			\|0 000 xxxxxcx a22 zn 4500
LOK			\|0 001 4185525958
LOK			\|0 003 DE-627
LOK			\|0 004 1816074349
LOK			\|0 005 20220908034946
LOK			\|0 008 220908\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|ger\|\|\|\|\|\|\|
LOK			\|0 035 \|a (DE-Tue135)1618789996_1999_66
LOK			\|0 040 \|a DE-Tue135 \|c DE-627 \|d DE-Tue135
LOK			\|0 092 \|o n
LOK			\|0 852 \|a DE-Tue135
LOK			\|0 852 1 \|9 00
LOK			\|0 935 \|a imwa \|a ixau \|a rwrk
ORI			\|a SA-MARC-ixtheoa001.raw
REL			\|a 1
SUB			\|a REL