/explore
|
You are here 
|
explainingmaths.wordpress.com | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
www.logicmatters.net
I'm revisiting a number of older logic books with a view to seeing if/how they should feature in the new edition of the Study Guide. Next up, the text by René Cori and Daniel Lascar, whose French original was published in 1993, later translated in two parts as Mathematical Logic (OUP, 2000). Its sub-title, "A [...] |
|
| | | | | ||
| | | | |
alanrendall.wordpress.com
The theorem of the title is about dividing smooth functions by other smooth functions or, in other words, representing a given smooth function in terms of products of other smooth functions. A large part of the account which follows is based on that in the book 'Normal Forms and Unfoldings for Local Dynamical Systems' by... |
|
| | | | | ||
| | | | |
cambodianbeginnings.wordpress.com
Visit the post for more. |
|
| | | |||
