Direct and converse theorems the elements of symbolic logic - Gradshtein I S; Boddington T (London Pergamon Press, 1963)
Transaled from Russian
Keywords: Logic; Mathematical logic; Symbolic