NORMALIZATION, CUT-ELIMINATION AND THE THEORY OF PROOFS

NORMALIZATION, CUT-ELIMINATION AND THE THEORY OF PROOFS

Editora: CENTER FOR THE STUDY OF LANGUAGE AND INFORMATION
ISBN: 0937073822
ISBN13: 0937073822
Edição: 1ª Edição - 1992
Número de Páginas: 236
Acabamento: PAPERBACK