e-Article Oxford Journal

No. Panggil :	Journal of Logic and Computation August 2011, 21 (4), p. 589-624
Judul :	From Deep Inference to Proof Nets via Cut Elimination
Pengarang :	Lutz Strassburger
Penerbitan :	: ,
Desk. Fisik :
Subjek :