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: Logic
Vienna Summer of Logic
This year we, the Kurt Gödel Society, are organizing the biggest event in the history of logic – the Vienna Summer of Logic. 12 conferences and many workshops, expected number of participants around 2500....
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...
