skip to main content
Idioma:

Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

Schroeder-Heister, Peter Haeusler, Edward Hermann ; Pereira, Luiz Carlos ; de Paiva, Valeria

Advances in Natural Deduction, 2014, Vol.39, p.1-29

The Netherlands: Springer Netherlands

Texto completo disponível

Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  5 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.