Explore >> Select a destination
|
You are here 
|
xorshammer.com | ||
| | | | |
rhubbarb.wordpress.com
|
|
| | | | | My previous post was written with the help of a few very useful tools: LaTeX mathematical typesetting Gummi LaTeX editor Python programming language PyX Python / LaTeX graphics package my own PyPyX wrapper around PyX LaTeX2WP script for easy conversion from LaTeX to WordPress HTML | |
| | | | |
inquiryintoinquiry.com
|
|
| | | | | Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore... | |
| | | | |
thehousecarpenter.wordpress.com
|
|
| | | | | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I... | |
| | | | |
myinnermishmash.wordpress.com
|
|
| | | Hey guys! :) For today, I chose to share with you quite a short Celtic harp piece played by Scottish harpist Rachel Newton, called Beinn an Eoin, which is the name of a mountain in the Scottish Highlands. https://www.youtube.com/watch?v=dULpviNMW88 | ||
