Book
ლოგიკისა და დედუქციურ მეცნიერებათა მეთოდოლოგიის შესავალი : Introduction to Logic and to the Methodology of deductive sciences / ალფრედ ტარსკი ; რედაქტორი: ზ. მიქელაძე.
წიგნში გადმოცემულია თანამედროვე ფორმალური ლოგიკის (სიმბოლური ლოგიკის) თითქმის ყველა ძირითადი დარგის საწყისები.
Record details
- Physical Description: 248 გვ.
- Publisher: თბილისი : თბილისის უნივერსიტეტის გამომცემლობა , 1971.
Content descriptions
| General Note: | მთარგმნელები მ. ბეჟანიშვილი და ლ. მჭედლიშვილი. |
| Formatted Contents Note: | მთარგმნელთა წინასიტყვაობა -- პირველი გამოცემის წინასიტყვაობა -- მეორე გამოცემის წინასიტყვაობა -- ლოგიკის საწყისები, დედუქციური მეთოდი: ცვლადების გამოყენების შესახებ -- წინადადებათა აღრიცხვის შესახებ -- იგივეობის თეორიის შესახებ -- კლასთა თეორიის შესახებ -- მიმართებათა თეორიის შესახებ -- დედუქციური მეთოდის შესახებ -- ლოგიკისა და მეთოდოლოგიის გამოყენება მათემატიკური თეორიების აგებაში: მათემატიკური თეორიის აგება: რიცხვთა დალაგების კანონები -- მათემატიკური თეორიის აგება: შეკრებისა და გამოკლების კანონები -- აგებული თეორიის მეთოდოლოგიური საკითხები -- აგებული თეორიის გაფართოება: ნამდვილი რიცხვების არითმეტიკის საფუძვლები -- ლიტერატურა. |
Search for related items by subject
| Subject: | ლოგიკა. დედუქცია. |
Search for related items by series
Available copies
- 5 of 5 copies available at United Catalog.
Holds
- 0 current holds with 5 total copies.
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Abonement | ს-129392 | 900000599706 | Stacks | Available | - |
| Abonement | ს-277110 | 900000790556 | Stacks | Available | - |
| Abonement | 2-530375 | 900001915853 | Stacks | Available | - |
| Campus III Reading Hall | 16+162 ტ–29 | 900001456460 | Stacks | Available | - |
| Eastern Literature Reading Hall | 16 + ტ-29 | 900001782385 | Stacks | Available | - |
| LDR | 01088cam a2200181Ka 4500 | ||
|---|---|---|---|
| 001 | 37494 | ||
| 003 | GUL | ||
| 005 | 20160129111655.0 | ||
| 008 | 070101s geo d | ||
| 035 | . | ‡a(LIBRARYS)113345 | |
| 035 | . | ‡a(CONS)113345 | |
| 080 | 0 | . | ‡a16 + |
| 080 | 0 | . | ‡a159.955.6 |
| 092 | . | ‡aრდ(II) | |
| 100 | 1 | . | ‡aტარსკი, ალფრედ. |
| 245 | 1 | 0. | ‡aლოგიკისა და დედუქციურ მეცნიერებათა მეთოდოლოგიის შესავალი : ‡bIntroduction to Logic and to the Methodology of deductive sciences / ‡cალფრედ ტარსკი ; რედაქტორი: ზ. მიქელაძე. |
| 260 | . | ‡aთბილისი : ‡bთბილისის უნივერსიტეტის გამომცემლობა , ‡c1971. | |
| 300 | . | ‡a248 გვ. | |
| 500 | . | ‡aმთარგმნელები მ. ბეჟანიშვილი და ლ. მჭედლიშვილი. | |
| 505 | 0 | . | ‡aმთარგმნელთა წინასიტყვაობა -- პირველი გამოცემის წინასიტყვაობა -- მეორე გამოცემის წინასიტყვაობა -- ლოგიკის საწყისები, დედუქციური მეთოდი: ცვლადების გამოყენების შესახებ -- წინადადებათა აღრიცხვის შესახებ -- იგივეობის თეორიის შესახებ -- კლასთა თეორიის შესახებ -- მიმართებათა თეორიის შესახებ -- დედუქციური მეთოდის შესახებ -- ლოგიკისა და მეთოდოლოგიის გამოყენება მათემატიკური თეორიების აგებაში: მათემატიკური თეორიის აგება: რიცხვთა დალაგების კანონები -- მათემატიკური თეორიის აგება: შეკრებისა და გამოკლების კანონები -- აგებული თეორიის მეთოდოლოგიური საკითხები -- აგებული თეორიის გაფართოება: ნამდვილი რიცხვების არითმეტიკის საფუძვლები -- ლიტერატურა. |
| 520 | 3 | . | ‡aწიგნში გადმოცემულია თანამედროვე ფორმალური ლოგიკის (სიმბოლური ლოგიკის) თითქმის ყველა ძირითადი დარგის საწყისები. |
| 650 | 1 | 4. | ‡aლოგიკა. |
| 650 | 2 | 4. | ‡aდედუქცია. |
| 700 | 1 | . | ‡aმიქელაძე, ზ. , ‡eრედაქტორი. |
| 830 | 0. | ‡ ლერი მჭედლიშვილის კოლექცია, შემომწირველი ლ. გაფრინდაშვილი 900001915853 | |
| 852 | 4 | . | ‡agaaagpl ‡bSYS00902-ICAMP ‡bSYS00902-ICAMP ‡cStacks ‡jრდ(II) ‡p900000927950 ‡y0.00 ‡xnonreference ‡xholdable ‡xcirculating ‡xvisible ‡zAvailable |
| 990 | . | ‡a2012-06-bibhrec-r1 | |
| 901 | . | ‡a37494 ‡b ‡c37494 ‡tbiblio | |
