To participate in discussions you need to log in.
Login
Карри, Хаскелл Б. Основания математической логики 1969
Price:
500 UAH
500 UAH
Added:
03.05.2025, 02:59
03.05.2025, 02:59
Watching the lot: 0No one is following
Added:
03.05.2025, 02:59
03.05.2025, 02:59
The product is sold at a fixed price. After clicking the "Buy" button, the seller will contact you to complete the purchase.
Location
Ukraine, Kharkiv oblast, Kharkiv
Payment
PrivatBank
Submitting a lot
Ukraine
Delivery
Nova Poshta, Ukrposhta (according to the current legislation of the seller's country of residence).
To purchase this lot, you need to go to your Violity profile.
500 UAH
Material:
бумага
Condition:
нет
Restoration:
нет
Defects:
нет
Location:
Ukraine, Kharkiv oblast, Kharkiv
Payment:
PrivatBank
Sending lot to: 
Ukraine
UkraineDelivery:
Nova Poshta, Ukrposhta (according to the current legislation of the seller's country of residence).
Description:
Перевод с англ. В. В. Донченко. Под ред. и с предисловием Ю.А. Гастева.
Книга американского ученого, в течение нескольких лет читавшего общий курс логики для студентов старших курсов Университета Пенсильвании, посвящена детальному изучению фундаментальных понятий математической логики. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
В конце большинства разделов есть задачи и упражнения различной степени сложности. Задачи, решение которых автору неизвестно, отмечены звездочкой. Содержит исторический и библиографический комментарий.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
С о д е р ж а н и е.
1. Введение.
2. Формальные системы.
3. Эпитеория.
4. Реляционная логическая алгебра.
5. Теория импликация.
6. Отрицание.
7. Кванторы.
8. Модальности.
Формат - 145 х 220 мм
Книга американского ученого, в течение нескольких лет читавшего общий курс логики для студентов старших курсов Университета Пенсильвании, посвящена детальному изучению фундаментальных понятий математической логики. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
В конце большинства разделов есть задачи и упражнения различной степени сложности. Задачи, решение которых автору неизвестно, отмечены звездочкой. Содержит исторический и библиографический комментарий.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
С о д е р ж а н и е.
1. Введение.
2. Формальные системы.
3. Эпитеория.
4. Реляционная логическая алгебра.
5. Теория импликация.
6. Отрицание.
7. Кванторы.
8. Модальности.
Формат - 145 х 220 мм
Link to the discussion:
Seller's other lots
See other sections
- Phaleristics Of Independent Ukraine And Of The Period Of Struggle For Independence
- Gold, Platinum And Palladium Coins
- Golden And Platinum Coins Of The Russian Empire
- Golden, Electricrum Coins Of Ancient And Medieval States
- Coins Of Antique States Of The Northern Coast Of Black Sea
- Ancient Coins Of Bosporus Kingdom And The Independent Crimean Cities - states
- Nerva -Trayan Dynasty 96 - 138 AD. (Nerva, Trajan, Aelius Verus, Hadrian)
- World Silver Coins After 1700
- Women's Portraits On Coins Of Ancient Rome (wives, Mothers, Daughters, And Other Relatives Of The Emperors On Silver And Billon Coins Of Rome)
- Coins Of Europe After 2002
- Wristwatches Made In Europe And America
- Coins Of Ancient And Medieval States (before 1700), Wholesale Lots (10 Pieces Or More In The Lot)
Report about violation to moderator
Please select the type of violation from the list:
How does AUTO BIDDING work
This is a function that helps you place bids automatically in case your bet is interrupted.
For example, current lot price is UAH 120. You are ready to bargain up to UAH 5 000. Enter 5 000 in the field "Automatic bargaining" and click "Place Bet". As a result, your new rate will appear, but not in the amount of UAH 5 000, but only UAH 121. In this case, the system will remember that you are ready to bargain up to UAH 5 000, and will make the necessary bids for you if the price continues to rise.
Let's say another participant places a bet of UAH 2 000. Then the system will automatically place your bet of 2 001 UAH. And only if someone places a bet more than UAH 5 000, you will receive a notification that your auto rate has been interrupted.
For example, current lot price is UAH 120. You are ready to bargain up to UAH 5 000. Enter 5 000 in the field "Automatic bargaining" and click "Place Bet". As a result, your new rate will appear, but not in the amount of UAH 5 000, but only UAH 121. In this case, the system will remember that you are ready to bargain up to UAH 5 000, and will make the necessary bids for you if the price continues to rise.
Let's say another participant places a bet of UAH 2 000. Then the system will automatically place your bet of 2 001 UAH. And only if someone places a bet more than UAH 5 000, you will receive a notification that your auto rate has been interrupted.
Comments 0