Investigations into logical deduction, in &quot;The collected papers of Gerhard Gentzen

Investigations into logical deduction, in "The collected papers of Gerhard Gentzen (1969)

by G Gentzen

Venue:

M.E. Szabo (Ed

Results 1 - 2 of 2

by Yann Coscoy, Gilles Kahn, Laurent Thery - IN TYPED LAMBDA CALCULUS AND ITS APPLICATIONS , 1995

"... ..."

Abstract - Cited by 37 (1 self) - Add to MetaCart

Abstract not found

by Lucian Wischik

"... ..."

Abstract - Add to MetaCart

Abstract not found