THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC

Detalhes bibliográficos
Main Authors: Leigh, G, Rathjen, M
Formato: Journal article
Publicado em: 2012