Matematicheska︠i︡a teori︠i︡a logicheskogo vyvoda; sbornik perevodov
Đã lưu trong:
OCLC: | 10778049 |
---|---|
Tác giả chính: | |
Tác giả khác: | |
Ngôn ngữ: | Russian |
Được phát hành: |
Moskva,
Nauka; Glav. red. Fiziko-matematicheskoĭ litry,
1967.
|
Loạt: | Matematicheska︠i︡a logika i osnovani︠i︡a matematiki.
|
Những chủ đề: | |
Định dạng: | Monograph Note that CRL will digitize material from the collection when copyright allows. |
LEADER | 01287cam a22003131 4500 | ||
---|---|---|---|
001 | in00005511286 | ||
003 | OCoLC | ||
005 | 19950310172529.0 | ||
008 | 840509s1967 ru b 000 0 rusoc | ||
010 | |a 68041857 | ||
035 | |a (OCoLC)10778049 | ||
040 | |a DLC/ICU |c CGU |d DLC |d CRL | ||
049 | |a CRLL | ||
099 | |a B-44708 | ||
100 | 1 | |a Idelʹson, A. V. | |
245 | 1 | 0 | |a Matematicheska︠i︡a teori︠i︡a logicheskogo vyvoda; |b sbornik perevodov. |c Pod. red. A.V. Idelʹsona i G.E. Min︠t︡sa. |
260 | |a Moskva, |b Nauka; Glav. red. Fiziko-matematicheskoĭ litry, |c 1967. | ||
300 | |a 350 p. |c 22 cm. | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a unmediated |b n |2 rdamedia. | ||
338 | |a volume |b nc |2 rdacarrier. | ||
490 | 0 | |a Matematicheska︠i︡a logika i osnovani︠i︡a matematiki. | |
504 | |a Includes bibliographies. | ||
650 | 0 | |a Logic, Symbolic and mathematical. | |
700 | 1 | |a Min︠t︡s, G. E. |e joint author. | |
907 | |a .b14336698 |b 12-03-21 |c 03-10-95 | ||
998 | |a crlm |b 03-10-95 |c m |d - |e - |f rus |g ru |h 0 |i 1 | ||
999 | f | f | |i a46e788e-2318-54cf-acf7-7b4a9a70e1e9 |s 7972549c-d0ce-5756-a3cf-68577a474ab1 |t 0 |