Formal background to mathematics - Edwards R E (New York Springer-Verlag, 1980)
Keywords: Mathematics; Combinatorial method