Explore >> Select a destination

You are here

 richardzach.org
Epsilon theorems in intermediate logics - Richard Zach
| | consequently.org
Collection Frames for Distributive Substructural Logics - consequently.org
11.6 parsecs away

Travel
| |
| | consequently.org
Reflections on Brady's Logic of Meaning Containment - consequently.org
8.0 parsecs away

Travel
| |
| | www.logicmatters.net
On de Swart's Philosophical and Mathematical Logic - Logic Matters
12.5 parsecs away

Travel
| | I have mixed feelings about Harrie de Swart's Philosophical and Mathematical Logic (Springer, 2018). For this long book really is a strange mish-mash, supposedly aimed at philosophers. There are chapters (not very good) on e.g. the philosophy of language and "fallacies and unfair discussion methods", and e.g. a section on social choice theory. Then there [...]
| | rhubbarb.wordpress.com
Tools for Writing Mathematical Blog Posts | Rob Hubbard's Blog
107.6 parsecs away

Travel
| 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