机读格式显示(MARC)
- 000 01098nam a22002777i 4500
- 008 090630m1960uuuuru | |001 0 rus|d
- 040 __ |a NMU |b rus |c NMU
- 099 __ |a CALB042009007071
- 240 10 |a Introduction to mathematical logic. |l Russian
- 245 10 |a Введение в математическую логику / |c А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского.
- 260 __ |a М. : |b Изд-во Иностранной лит., |c 1960-
- 500 __ |a Перевод изд.: Introduction to mathematical logic. V. 1 / by Alonzo Church. Princeton : Princeton University Press, 1956.
- 500 __ |a Незак. содерж.: Т. 1. 1960. 484 с.
- 500 __ |a Указ.: с. 461-481.
- 653 0_ |a Алгебра высшая.
- 700 1_ |a Чернявский, В. С.
- 700 1_ |a Успенский, В. А.