User:Felix QW
 | This user is a participant in WikiProject Mathematics. |
 | This user is a participant in WikiProject Merge. |
The main current project: user:Felix QW/Logic programming
Current Wishlist:
Other things to be done:
- Proofs involving... article
- Original proof of Gödel's completeness theorem
- Infinity plus one
- Zeroth-order logic
- Probabilistic proposition
- ... Letters used in mathematics... articles
Current userspace drafts:
Other subpages: