Book
მათემატიკის საფუძვლების ზოგიერთი საკითხი: (P (& (P → Q)) → Q / ალექსანდრე ხარაზიშვილი.
Record details
- ISBN: 9789941334894
- Physical Description: 257 გვ.
- Publisher: თბილისი: უნივერსალი, 2023.
Content descriptions
| Bibliography, etc. Note: | ბიბლიოგრაფია: გვ. 242-255 |
| Formatted Contents Note: | შესავალი -- სინტაქსი -- სემანტიკა -- მათემატიკური თეორიების სტანდარტული მაგალითები -- მოდელის არსებობის მეტათეორემა -- სიმრავლეთა თეორიის აქსიომები -- კატეგორიათა არსებობის მეტათეორემა -- რეკურსიული ფუნქციები -- ნაწილობრივად რეკურსული ფუნქციები -- ალგორითმების ზოგიერთი სტანდარტული მაგალითი -- არითმეტიკული სიმრავლეები. |
Search for related items by subject
| Subject: | მათემატიკა. |
Search for related items by series
Available copies
- 2 of 2 copies available at United Catalog.
Holds
- 0 current holds with 2 total copies.
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Abonement | ს-311620 | 900001911212 | Stacks | Available | - |
| Grigol Tsereteli Reading Hall | F-103349 | 900001911211 | Stacks | Available | - |
