Vidyasyahadri ...

Introduction to mathematical logic and resolution principle. (Record no. 39871)

000 -LEADER
fixed length control field 00471nam a2200157Ia 4500
001 - CONTROL NUMBER
control field 39916
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 181215s9999||||xx |||||||||||||| ||und||
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Wang, Guo-Jun.
245 ## - TITLE STATEMENT
Title Introduction to mathematical logic and resolution principle.
Medium Textual Documents
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Oxford:
Name of publisher, distributor, etc Alpha Science International.,
Date of publication, distribution, etc 2009
300 ## - PHYSICAL DESCRIPTION
Extent viii, 335p.
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Logic, Symbolic and mathematical
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Zhou, Hong-Jun.
Holdings
Withdrawn status Lost status Damaged status Not for loan Permanent Location Current Location Date acquired Source of acquisition Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
        Kuvempu University Library Kuvempu University Library 2018-12-16 College Book House 511.3 86127 2018-12-16 0.00 2018-12-16 Books

Powered by Koha