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 |
| 79 | 48 | 0 |
United States of America  |
24 (30%) |
China  |
12 (15%) |
Viet Nam  |
7 (9%) |
Sweden  |
5 (6%) |
United Kingdom of Great Britain and Northern Ireland  |
3 (4%) |
Germany  |
2 (3%) |
Spain  |
2 (3%) |
Netherlands (Kingdom of the)  |
2 (3%) |
Unknown  |
2 (3%) |
Pakistan  |
2 (3%) |
Hong Kong (China)  |
2 (3%) |
Mexico  |
2 (3%) |
Turkiye  |
1 (1%) |
South Africa  |
1 (1%) |
Poland  |
1 (1%) |
Ukraine  |
1 (1%) |
Honduras  |
1 (1%) |
Brazil  |
1 (1%) |
Portugal  |
1 (1%) |
Singapore  |
1 (1%) |
Colombia  |
1 (1%) |
Switzerland  |
1 (1%) |
Argentina  |
1 (1%) |
Italy  |
1 (1%) |
Malaysia  |
1 (1%) |
Philippines  |
1 (1%) |