Towards ceres in intuitionistic logic (2012)

by Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo
Venue:In CSL