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 | - |
| LDR | 00620cam a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 281909 | ||
| 003 | GUL | ||
| 005 | 20230516053603.0 | ||
| 020 | . | ‡a9789941334894 | |
| 080 | 0 | . | ‡a51 |
| 092 | . | ‡aხ-25 | |
| 100 | 1 | . | ‡aხარაზიშვილი, ალექსანდრე. |
| 245 | 1 | 0. | ‡aმათემატიკის საფუძვლების ზოგიერთი საკითხი: ‡b(P (& (P → Q)) → Q / ‡cალექსანდრე ხარაზიშვილი. |
| 260 | . | ‡aთბილისი: ‡bუნივერსალი, ‡c2023. | |
| 300 | . | ‡a257 გვ. | |
| 504 | . | ‡aბიბლიოგრაფია: გვ. 242-255 | |
| 505 | 1 | . | ‡aშესავალი -- სინტაქსი -- სემანტიკა -- მათემატიკური თეორიების სტანდარტული მაგალითები -- მოდელის არსებობის მეტათეორემა -- სიმრავლეთა თეორიის აქსიომები -- კატეგორიათა არსებობის მეტათეორემა -- რეკურსიული ფუნქციები -- ნაწილობრივად რეკურსული ფუნქციები -- ალგორითმების ზოგიერთი სტანდარტული მაგალითი -- არითმეტიკული სიმრავლეები. |
| 650 | 1 | 4. | ‡aმათემატიკა. |
| 830 | 0. | ‡aშემომწირველი ალექსანდრე ხარაზიშვილი. | |
| 910 | . | ‡aფიქრია დავითაშვილი. | |
| 901 | . | ‡a281909 ‡b ‡c281909 ‡tbiblio ‡sSystem Local | |
