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 |
| 6 | 6 | 0 |
Sweden  |
2 (100%) |