• Nenhum resultado encontrado

A simple proof that super-consistency implies cut elimination

N/A
N/A
Info
Descarregar agora
Protected

Academic year: 2024

Share "A simple proof that super-consistency implies cut elimination"

Copied!
15
0
0

Carregando.... (Ver texto completo agora)

Descarregar agora ( 15 páginas )

Texto

Referências

Descarregar agora ( PDF - 15 páginas - 247.39 KB )

Documentos relacionados