Upper and lower bounds for the cut elimination theorem /

Bibliographic Details
Main Author:	Leou, Ying-Tyug
Language:	English
Published:	The Ohio State University / OhioLINK 1993
Subjects:	Mathematics
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487846354484059

id	ndltd-OhioLink-oai-etd.ohiolink.edu-osu1487846354484059
record_format	oai_dc
spelling	ndltd-OhioLink-oai-etd.ohiolink.edu-osu14878463544840592021-08-03T06:57:07Z Upper and lower bounds for the cut elimination theorem / Leou, Ying-Tyug Mathematics 1993 English text The Ohio State University / OhioLINK http://rave.ohiolink.edu/etdc/view?acc_num=osu1487846354484059 http://rave.ohiolink.edu/etdc/view?acc_num=osu1487846354484059 unrestricted This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.
collection	NDLTD
language	English
sources	NDLTD
topic	Mathematics
spellingShingle	Mathematics Leou, Ying-Tyug Upper and lower bounds for the cut elimination theorem /
author	Leou, Ying-Tyug
author_facet	Leou, Ying-Tyug
author_sort	Leou, Ying-Tyug
title	Upper and lower bounds for the cut elimination theorem /
title_short	Upper and lower bounds for the cut elimination theorem /
title_full	Upper and lower bounds for the cut elimination theorem /
title_fullStr	Upper and lower bounds for the cut elimination theorem /
title_full_unstemmed	Upper and lower bounds for the cut elimination theorem /
title_sort	upper and lower bounds for the cut elimination theorem /
publisher	The Ohio State University / OhioLINK
publishDate	1993
url	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487846354484059
work_keys_str_mv	AT leouyingtyug upperandlowerboundsforthecuteliminationtheorem
_version_	1719449707796758528

Similar Items