Matematicheskaia logika i avtomaticheskoe dokazatel'stvo teorem (Record no. 8203)

MARC details
000 -LEADER
fixed length control field 00775 a2200193 4500
035 ## - SYSTEM CONTROL NUMBER
System control number
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 517.11
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
-- 8354
-- 8354
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Chen', Ch
245 ## - TITLE STATEMENT
Title Matematicheskaia logika i avtomaticheskoe dokazatel'stvo teorem
Statement of responsibility, etc. Ch. Chen'; P. Li; trad. din lb. engleza: G. V. Davydova; G. E. Mintsa; A. V. Sochilinoj
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Moskva
Name of publisher, distributor, etc. "Nauka" Gl. red. fiz. - mat. lit
Date of publication, distribution, etc. 1983
300 ## - PHYSICAL DESCRIPTION
Extent 360 p
Other physical details ill
Dimensions 22 cm
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Matematicheskaia logika i osnovaniia matematiki
500 ## - GENERAL NOTE
General note Cuprinde bibliografie pe capitole
500 ## - GENERAL NOTE
General note Scriere chirilica
500 ## - GENERAL NOTE
General note Symbolic Logic and Mechanical Theorem Proving - Chin - Liang Chang; Richard Char - Tung Lee (New York; San Francisco; London - Academic Press - 1973)
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name P. Li
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Institution code [OBSOLETE] IMAR
Koha item type Carti
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Inventory number Full call number Barcode Date last seen Price effective from Koha item type
        IMAR IMAR 03/21/2024 Mcc 6702 II 25513 0009148 03/21/2024 03/21/2024 Carti

Powered by Koha