Reflection in logical systems (1992)

by Se'an Matthews
Venue:In IMSA'92, pages 178--183. InformationTechnology Promotion Agency