On statman's finite completeness theorem (1992)

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