Couverture : Normalization, cut-elimination, and the theory of proofs

Couverture : Open Library

← Fiche de l'œuvre

Normalization, cut-elimination, and the theory of proofs

Anthony M. Ungar

Détails de l'édition

ISBN-13: 9780937073834
ISBN-10: 0937073830
EAN: 9780937073834
Éditeur: CSLI (Stanford, Calif)
Date de publication: 1 janvier 1992
Langue: eng
Pages: 236
Dimensions: 24 cm

Provenance des données

dimensions BnF Catalogue général · 23 juillet 2026
language BnF Catalogue général · 23 juillet 2026
page_count BnF Catalogue général · 23 juillet 2026
publication_date BnF Catalogue général · 23 juillet 2026
title Open Library · 2 août 2026