Book
Past, Present and Future / Prior Arthur.
Record details
- Physical Description: 217[1] p.
- Publisher: Oxford: At The Clarendon Press, 1967.
Content descriptions
| Formatted Contents Note: | I. Precursors of Tense-Logic -- II. The Search for The Diodorean Modal System -- III. The Topology of Time -- IV. Non-Standard Tense-Logics -- V. The Logic of Successive World-States -- VI. Metric Tense-Logic -- VII. Time and Determinism -- VIII. Time and Exsistence -- Appendix A. Postulates for Modal Logic, Tense-Logic, and U-Calculi -- Appendix B. Miscellaneous Further Developments -- Index. |
Search for related items by subject
| Subject: | Logic ლოგიკა > (მეტრიკული ტენს ლოგიკა) |
Search for related items by series
Available copies
- 1 of 1 copy available at United Catalog.
Holds
- 0 current holds with 1 total copy.
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Grigol Tsereteli Reading Hall | ლ.მჭედლ-7 | 900001918300 | Stacks | Available | - |
| LDR | 00620cam a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 310448 | ||
| 003 | GUL | ||
| 005 | 20250127085606.0 | ||
| 080 | 0 | . | ‡a16 ‡x(1) |
| 092 | . | ‡aP-92 | |
| 100 | 1 | . | ‡aPrior, Arthur. |
| 245 | 1 | 0. | ‡aPast, Present and Future / ‡cPrior Arthur. |
| 260 | . | ‡aOxford: ‡bAt The Clarendon Press, ‡c1967. | |
| 300 | . | ‡a217[1] p. | |
| 505 | 2 | . | ‡aI. Precursors of Tense-Logic -- II. The Search for The Diodorean Modal System -- III. The Topology of Time -- IV. Non-Standard Tense-Logics -- V. The Logic of Successive World-States -- VI. Metric Tense-Logic -- VII. Time and Determinism -- VIII. Time and Exsistence -- Appendix A. Postulates for Modal Logic, Tense-Logic, and U-Calculi -- Appendix B. Miscellaneous Further Developments -- Index. |
| 650 | 1 | 4. | ‡aLogic |
| 650 | 2 | 4. | ‡aლოგიკა ‡x(მეტრიკული ტენს ლოგიკა) |
| 700 | 1 | . | ‡aPrior, Arthur. ‡eAuthor. |
| 830 | 0. | ‡aლერი მჭედლიშვილის კოლექცია. შემომწირველი ლ. გაფრინდაშვილი. | |
| 910 | . | ‡aეკატერინე მჭედლიშვილი. | |
| 901 | . | ‡a310448 ‡bAUTOGEN ‡c310448 ‡tbiblio | |
