Voltar aos Detalhes do Artigo
Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents
Baixar
Baixar PDF