To participate in discussions you need to log in.
Login
Mathematical theory of logical inference.
Rates:
0
0
Max bid:
0 UAH
0 UAH
Added:
21.07.2025, 21:49
21.07.2025, 21:49
Watching the lot: 0No one is following
Added:
21.07.2025, 21:49
21.07.2025, 21:49
Основний вид ілюстрацій:
Вид:
Material:
бумага
Condition:
хорошее.
Restoration:
нет
Defects:
нет
Location:
Ukraine, Odessa Oblast, Odessa
Payment:
Cash payment, PrivatBank, Western Union
Sending lot to: 
Ukraine,
The whole world
Ukraine,The whole worldDelivery:
Nova Poshta, Ukrposhta, Personal meeting Odessa (according to the current legislation of the seller's country of residence).
Description:
Математическая теория логического вывода. М. Наука. 1967г. 352 с. Тканевый переплет, Чуть увеличенный. формат. Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием `машинной логики`, в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи основоположника теории логического вывода Г.Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода. С помощью этого метода получен также ряд важнейших результатов из оснований математики - доказана, например, непротиворечивость чистой теории чисел с аксиомой полной индукции.
Link to the discussion:
Seller's other lots
See other sections
- Bracelets
- Pendants And Lavaliers
- Accessories For Dolls
- Toys For Babies
- Children's Musical Instruments
- Coins Of Italy And Italian Possessions 1861 - 2001 (before Introduction Of Euro)
- Coins Of Spain, Portugal And Their Possessions 1700 - 2001 (before Introduction Of Euro)
- Lighting
- Desktop Decorative And Interior Items
- Sewing Machines
- Elements Of Harness
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