Many dimensional modal logics (Record no. 364546)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00662pam a2200229a 44500 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20170220153129.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 160408b2003 xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9780444508263 |
040 ## - CATALOGING SOURCE | |
Transcribing agency | IITK |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 |
Item number | M319 |
245 1# - TITLE STATEMENT | |
Title | Many dimensional modal logics |
Remainder of title | theory and applications |
Statement of responsibility, etc | D. M. Gabbay ...[et al.] |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Amsterdam |
Name of publisher | Elsevier |
Year of publication | 2003 |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | xviii, 747p |
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
Title | Studies in logic and the foundations of mathematics / edited by P. Suppes |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Modality (Logic) |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Gabbay, D. M |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Kurucz, A |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Wolter, F |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Zakharyaschev, M |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Books |
Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|
General Stacks | PK Kelkar Library, IIT Kanpur | PK Kelkar Library, IIT Kanpur | 18/08/2009 | International Book Agency | 8284.10 | 511.3 M319 | A166019 | Books |