A new correctness criterion for multiplicative non-commutative proof nets Roberto Maieli Pages: 205 - 220
A Gentzen-style axiomatization for basic predicate calculus Mojtaba AghaeiMohammad Ardeshir Pages: 245 - 259
Simple and immune relations on countable structures Sergei. S. GoncharovValentina. S. HarizanovCharles F. D. McCoy Pages: 279 - 291