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 |
| 125 | 94 | 3 |
United States of America  |
32 (26%) |
China  |
15 (12%) |
Viet Nam  |
12 (10%) |
Singapore  |
7 (6%) |
Sweden  |
7 (6%) |
Brazil  |
5 (4%) |
Japan  |
4 (3%) |
Philippines  |
4 (3%) |
Spain  |
3 (2%) |
Netherlands (Kingdom of the)  |
3 (2%) |
Hong Kong (China)  |
2 (2%) |
Pakistan  |
2 (2%) |
Ukraine  |
2 (2%) |
Colombia  |
2 (2%) |
United Kingdom of Great Britain and Northern Ireland  |
2 (2%) |
Unknown  |
2 (2%) |
Indonesia  |
2 (2%) |
Argentina  |
2 (2%) |
Germany  |
2 (2%) |
India  |
2 (2%) |
Mexico  |
2 (2%) |
Morocco  |
1 (1%) |
Switzerland  |
1 (1%) |
France  |
1 (1%) |
Uzbekistan  |
1 (1%) |
Thailand  |
1 (1%) |
Poland  |
1 (1%) |
Malaysia  |
1 (1%) |
Portugal  |
1 (1%) |
Honduras  |
1 (1%) |
Italy  |
1 (1%) |
Iraq  |
1 (1%) |