Elementary logics : a procedural perspective (Record no. 21636)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00601nam a2200205#a 4500 |
001 - CONTROL NUMBER | |
control field | 0000007571 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 211117s2020||||xx |||||||||||||| ||und|| |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0137263651 |
Qualifying information | (pbk.) |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 GAB 1998 |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Gabbay |
245 #0 - TITLE STATEMENT | |
Title | Elementary logics : a procedural perspective |
Statement of responsibility, etc. | / Dov Gabbay. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | London |
Name of publisher, distributor, etc. | Prentice Hall Europe |
Date of publication, distribution, etc. | 1998. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xiv, 365p. |
Other physical details | ill. |
Dimensions | 24cm |
365 ## - TRADE PRICE | |
Currency code | MYR |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Includes bibliographical references and index |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer science |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Logic, Symbolic and mathematical |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Book-GN |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH | PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH | 07/28/2001 | MASA - MASA ENTERPRISE SDN. BHD | 511.3 GAB 1998 | 0000021140 | 06/21/2021 | 20038 | 06/21/2021 | Book-GN | ||||||
PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH | PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH | 07/28/2001 | MASA - MASA ENTERPRISE SDN. BHD | 511.3 GAB 1998 | 0000021141 | 06/22/2021 | 20039 | 06/22/2021 | Book-GN |