LUP Statistics
Record
- Title
- An Investigation into the Non-Constructive Parts of Proving Completeness for First-Order Logic
- Type
- Student Paper
- Publ. year
- 2024
- Author/s
- Carlsson, Hugo Carl Samuel
- Department/s
- Mathematics (Faculty of Engineering); Mathematics (Faculty of Sciences); Centre for Mathematical Sciences
- In LUP since
- 2025-06-12
Downloads
| Total | This Year | This Month |
| 15 | 15 | 2 |
United States of America  |
5 (26%) |
Sweden  |
2 (11%) |
Spain  |
2 (11%) |
Unknown  |
2 (11%) |
Hong Kong (China)  |
2 (11%) |
Viet Nam  |
1 (5%) |
United Kingdom of Great Britain and Northern Ireland  |
1 (5%) |
Ukraine  |
1 (5%) |
Poland  |
1 (5%) |
Netherlands (Kingdom of the)  |
1 (5%) |
Portugal  |
1 (5%) |