The formalization of mathematics (1954)

by H Wang
Venue:J. Symbolic Logic