On statman's finite completeness theorem (1992)

by Richard Statman , Gilles Dowek
Citations:4 - 0 self