TY - BOOK AU - ராமலிங்கம்,க.க AU - TI - கணித அறிவுக்கு விருந்து U1 - Ta 511.313 23rd ed. PY - 1994/// CY - சென்னை PB - கங்கை புத்தக நிலையம் KW - Mathematical logic KW - Proof theory KW - Set theory KW - Deductive power ER -