Теория доказательств / (Record no. 141521)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03043nam a2200373 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | RU\SPSTU\books\133595 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | Ge_NSL |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20170622152333.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 021018s1978 ru a z 001 zyrus u |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | 19013582 |
| Modifying agency | 19013582 |
| Description conventions | PSBO |
| -- | PSBO |
| 041 1# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | rus |
| Language code of original and/or intermediate translations of text | eng |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 510.6 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Такеути, Г. |
| 245 1# - TITLE STATEMENT | |
| Title | Теория доказательств / |
| Statement of responsibility, etc | Г. Такеути; пер. с англ. С. К. Соболева; под ред. С. И. Адяна. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Москва : |
| Name of publisher, distributor, etc | Мир, |
| Date of publication, distribution, etc | 1978. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 412 с. : |
| Other physical details | ил. |
| 500 ## - GENERAL NOTE | |
| General note | Доп. тит. л. на англ. яз. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Книга посвящена одному из основных разделов математической логики—теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | მათემატიკური ლოგიკა |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | მტკიცების თეორია |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Соболев, С. К. |
| Relator term | მთარგმნელი |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Адян С. И. |
| Relator term | რედაქტორი |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Universal Decimal Classification |
| Item type | წიგნი |
| 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Universal Decimal Classification | ეროვნული სამეცნიერო ბიბლიოთეკა 2 | ეროვნული სამეცნიერო ბიბლიოთეკა 2 | კორპ. 2, საცავი | 20.06.2017 | 510.6 | 2017-287348 | 20.06.2017 | ს-8397 | 20.06.2017 | წიგნი |