An Approach of Formalizing Mathematics by Reformulations - A Proposal for QED - (1995)

Cached

Download Links

by Manfred Kerber