00563ca0 a2200193ua 4500 20210222135928.0 080319s1975 g b000 u eng u Rs.15/- MAIN eng 511.3 MAN Manaster, Alfred B.. Completeness, compactness, and undecidability : an introduction to mathematical logic / by Alfred B. Manaster. 1st ed. / N.Delhi : Prentice hall of India pvt ltd , c1975. 154 p. ; Mathematics BK 54774 54774 0 0 ddc 0 511_300000000000000_MAN 0 NFIC 66587 MAIN MAIN GEN 2018-05-03 MTH-5 511.3 MAN 9724 2018-05-03 1 2018-05-03 BK