INTRODUCTION TO MATHEMATICAL LOGIC - Hermes, Hans; Schmidt, Diana (Berlin Springer-Verlag, 1973)
Fur. Read. : P. 229-231
Keywords: Logic, Symbolic And Mathematical