(Omega)-Bibliography of mathematical logic (Record no. 6088)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00701nam a2200241Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 131223s9999 xx 000 0 und d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | |
| 041 ## - LANGUAGE CODE | |
| Language code | English |
| 082 ## - DDC | ডিউই | |
| Classification number | বর্গসংখ্যা | 016.5101 |
| Book Number | গ্রন্থাঙ্ক | M958 |
| 110 ## - AIN ENTRY--CORPORATE NAME | মুখ্য সংলেখ - সংস্থানাম | |
| Corporate name | সংস্থা নাম | Troelstra A S ;.ed |
| 245 ## - TITLE STATEMENT | অাখ্যা বিবরণী | |
| Title | অাখ্যা | (Omega)-Bibliography of mathematical logic |
| Sub title | উপঅাখ্যা | proof theory : constructive mathematics |
| 260 ## - IMPRINT | প্রকাশনা ক্ষেত্র | |
| Place of publication | প্রকাশ স্থান | Berlin |
| Name of publisher | প্রকাশকের নাম | Springer-Verlag |
| Date of publication | প্রকাশ কাল | 1987 |
| 300 ## - PHYSICAL DESCRIPTION | | |
| Page / Vol. No | পৃষ্ঠা / খন্ড সংখ্যা | 405p. |
| 440 ## - SERIES STATEMENT |গ্রন্থমালা | |
| Series Title | গ্রন্থমালা অাখ্যা | Perspectives in mathematical logic; v 6 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয় | |
| Topical term | মূল বিষয় | Bibliography |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয় | |
| Topical term | মূল বিষয় | Constructive mathematics |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয় | |
| Topical term | মূল বিষয় | Mathematical logic |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয় | |
| Topical term | মূল বিষয় | Proof theory |
| 700 ## - ADDED ENTRY--PERSONAL NAME | অতিরিক্ত সংলেখ - ব্ | |
| Personal name | ব্যাক্তিনাম | Dalen Dirk van |
| Relator code | দায়িত্ব নির্দেশক | ed. |
| 700 ## - ADDED ENTRY--PERSONAL NAME | অতিরিক্ত সংলেখ - ব্ | |
| Personal name | ব্যাক্তিনাম | Kister J E |
| Relator code | দায়িত্ব নির্দেশক | ed. |
| 700 ## - ADDED ENTRY--PERSONAL NAME | অতিরিক্ত সংলেখ - ব্ | |
| Personal name | ব্যাক্তিনাম | Muller G H |
| Relator code | দায়িত্ব নির্দেশক | ed. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Date last seen | Total Checkouts | Full call number | Accession No. | Koha item type | Lost status | Damaged status | Not for loan | Withdrawn status | Home library | Current library | Date acquired |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 15/06/2023 | 016.5101 M958 | 108606 | Books | ISI Library, Kolkata | ISI Library, Kolkata | 25/12/2013 |
