A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation Arief Daynes Pages: 581 - 598
A Diller-Nahm-style functional interpretation of $\hbox{\sf KP} \omega$ Wolfgang Burr Pages: 599 - 604
A computably enumerable vector space with the strong antibasis property L.R. Galminas Pages: 605 - 629