1 – 2 of 2
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
An investigation into the non-constructive parts of proving completeness for first-order logic
2024) In Bachelor's Theses in Mathematical Sciences MATK11 20241(
Mathematics (Faculty of Engineering)
Mathematics (Faculty of Sciences)
Centre for Mathematical Sciences- Bach. Degree
-
Mark
The Ultrafilter Lemma and Its Place in Mathematics
2024) In Bachelor's Theses in Mathematical Sciences MATK11 20241(
Mathematics (Faculty of Engineering)
Centre for Mathematical Sciences
Mathematics (Faculty of Sciences)- Bach. Degree