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
- 2024-12-05
Downloads
| Total | This Year | This Month |
| 375 | 226 | 9 |
United States of America  |
114 (30%) |
China  |
42 (11%) |
Sweden  |
25 (7%) |
Brazil  |
21 (6%) |
Singapore  |
17 (5%) |
Germany  |
16 (4%) |
United Kingdom of Great Britain and Northern Ireland  |
13 (3%) |
India  |
11 (3%) |
Canada  |
9 (2%) |
Viet Nam  |
6 (2%) |
Colombia  |
6 (2%) |
Israel  |
5 (1%) |
Japan  |
5 (1%) |
Netherlands (Kingdom of the)  |
5 (1%) |
Australia  |
5 (1%) |
Indonesia  |
4 (1%) |
Turkiye  |
4 (1%) |
South Korea  |
4 (1%) |
Morocco  |
4 (1%) |
Russian Federation  |
3 (1%) |
Ecuador  |
3 (1%) |
France  |
3 (1%) |
Hong Kong (China)  |
3 (1%) |
Italy  |
3 (1%) |
Poland  |
3 (1%) |
South Africa  |
2 (1%) |
Dominican Republic  |
2 (1%) |
Mexico  |
2 (1%) |
Spain  |
2 (1%) |
Finland  |
2 (1%) |
Belgium  |
2 (1%) |
Switzerland  |
2 (1%) |
Argentina  |
2 (1%) |
Unknown  |
2 (1%) |
Uzbekistan  |
2 (1%) |
Thailand  |
2 (1%) |
Kyrgyzstan  |
1 (0%) |
Philippines  |
1 (0%) |
New Zealand  |
1 (0%) |
Estonia  |
1 (0%) |
Aruba  |
1 (0%) |
Saudi Arabia  |
1 (0%) |
Suriname  |
1 (0%) |
Denmark  |
1 (0%) |
Kenya  |
1 (0%) |
Ireland  |
1 (0%) |
Hungary  |
1 (0%) |
Algeria  |
1 (0%) |
Venezuela  |
1 (0%) |
Iran  |
1 (0%) |
Norway  |
1 (0%) |
Croatia  |
1 (0%) |
Bangladesh  |
1 (0%) |
Taiwan (China)  |
1 (0%) |
Czechia  |
1 (0%) |