Metadata languages
- Similar to edition
- Extensions of the Grzegorczyk logic determined by some countable Boolean algebras
1. |
|
2. |
3. |
4. |
5. |
6. |
|
7. |
8. |
|
9. |
10. |
11. |
12. |
|
13. |
14. |
|
15. |
1. |
|
2. |
3. |
4. |
5. |
6. |
|
7. |
8. |
|
9. |
10. |
11. |
12. |
|
13. |
14. |
|
15. |