THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC

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