User:Felix QW

The main current project: user:Felix QW/Logic programming

Current Wishlist:
 * Finite model theory
 * Zero-one law (logic)

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:


 * Kabiryani's subpage
 * User:Felix QW/Genera without images