The Mathematical Analysis of Logic - latest news, discussion & facts - IJR