Direct and converse theorems the elements of symbolic logic tr by T Doddington - Grandshtein I S (1963)
Keywords: PHILOSOPHY