Introduction to mathematical logic and resolution principle / (Record no. 16501)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00549nam a2200217 4500 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20180530103133.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
fixed length control field | 000 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | 000 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 000 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781842655665 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | UOEL |
050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA9 |
Item number | .W36 2009 |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Guo-Jun, Wang and Hong-jun, zhou |
245 ## - TITLE STATEMENT | |
Title | Introduction to mathematical logic and resolution principle / |
Statement of responsibility, etc | Guo-Jun, Wang |
250 ## - EDITION STATEMENT | |
Edition statement | 2nd.ed |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc | Beijing ; |
Name of publisher, distributor, etc | Science press ; |
Date of publication, distribution, etc | c2009. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | vii, 335p. : |
500 ## - GENERAL NOTE | |
General note | includes index |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Source of heading or term | mathematical logic |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Library of Congress Classification |
Item type | Loan - Normal on open shelf |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Library of Congress Classification | UOE Main Library | UOE Main Library | Open shelf | 30/05/2018 | QA9 .W36 2009 | 20154556 | 30/05/2018 | 20154556 | 30/05/2018 | Loan - Normal on open shelf | |||||
Library of Congress Classification | UOE Main Library | UOE Main Library | Open shelf | 30/05/2018 | QA9 .W36 2009 | 20154557 | 30/05/2018 | 20154557 | 30/05/2018 | Loan - Normal on open shelf | |||||
Library of Congress Classification | UOE Main Library | UOE Main Library | Open shelf | 30/05/2018 | QA9 .W36 2009 | 20154558 | 30/05/2018 | 20154558 | 30/05/2018 | Loan - Normal on open shelf | |||||
Library of Congress Classification | UOE Main Library | UOE Main Library | Open shelf | 30/05/2018 | QA9 .W36 2009 | 20154559 | 30/05/2018 | 20154559 | 30/05/2018 | Loan - Normal on open shelf | |||||
Library of Congress Classification | UOE Main Library | UOE Main Library | Open shelf | 30/05/2018 | QA9 .W36 2009 | 20154560 | 30/05/2018 | 20154560 | 30/05/2018 | Loan - Normal on open shelf |