Methods of cut-elimination

Saved in:

Bibliographic Details
Main Author:	Baaz, Matthias
Other Authors:	Leitsch, Alexander 1952-
Format:	Unknown
Published:	Dordrecht Springer 2011
Series:	Trends in logic v. 34
Subjects:	Proof theory
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet