ENSIKLOPEDIA Cari Tekan Enter untuk memulai pencarian cepat. Kembali ke Ensiklopedia Arsip Wikipedia Indonesia User:Felix QW User:Felix QWThis user participates inWikiProject Mathematics. This user is a participant inWikiProject Merge. This user has adopted Kabiryani. 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
