Matematicheska︠i︡a teori︠i︡a logicheskogo vyvoda; sbornik perevodov

Đã lưu trong:
Chi tiết về thư mục
OCLC:10778049
Tác giả chính: Idelʹson, A. V.
Tác giả khác: Min︠t︡s, G. E. (joint author.)
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