An axiom-free equation calculus

Bibliographic Details
Main Author: Goodstein, R. L.
Published: Birkbeck (University of London) 1946
Subjects:
510
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.639410
Description
Description not available.