CafeOBJ 1.5.0 released
Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new...
Tagged: Mathematics
Too stupid for airplane games – syllogism versus logic
During the long flight from Narita to Vienna I spent some time with a game called “Brain Teaser”. Math, general knowledge was ok, but in the section of analytic I failed badly. Let us...
Gaisi Takeuti – Proof Theory
One of the best works on proof theory finally is back in print – Gaisi Takeuti‘s Proof Theory. Originally published as Volume 81 in the series Studies in Logic and the Foundations of Mathematics...
