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 |
| 43 | 30 | 2 |
Sweden  |
13 (32%) |
United States of America  |
12 (29%) |
Germany  |
3 (7%) |
Canada  |
2 (5%) |
China  |
2 (5%) |
Unknown  |
2 (5%) |
Australia  |
2 (5%) |
Morocco  |
1 (2%) |
South Korea  |
1 (2%) |
Turkiye  |
1 (2%) |
Brazil  |
1 (2%) |
Hong Kong (China)  |
1 (2%) |