Concepedia

Lattice-valued representation of the cut-elimination theorem

Shôji Maehara

Tsukuba Journal of Mathematics · 1991 · 16 citations · 0 references

DOIFull text

Open access

Concepts

Abstract

departmental bulletin paper